专家详情：

主要参与开发软件测试的新理论、算法和工具，特别是用于从正式和非正式需求中自动生成测试用例。最近，还参与了监督学生静态分析软件漏洞的工作，并与同行合作，利用网络科学寻找教育、职业选择之间的关系，以及在研究网络和社区中识别新兴的研究人员。主要从事软件测试模型挖掘、语法推理算法、形式化方法、软件需求工程与管理中的漏洞分析静态分析等方面的工作。他目前是计算机科学副教授。他还设计了用于学习确定性有限自动机和Kripke结构的算法。他也是LBTest工具的作者，该工具以一种基于正式线性时间逻辑需求的全自动方式测试响应系统。他在国际知名期刊和会议上发表了约35篇研究论文。他的研究兴趣包括使用正式和非正式需求的自动化软件测试。自2015年以来，他一直是ACM的专业会员。