关于我

我的经验是在正式方法和自动推理方面，以及在构建用于软件和硬件验证的系统方面，遵循和推进最先进的技术，以便扩展到工业规模的问题。

在迈斯沃克我领导团队Simulink设计验证程序和Simulink覆盖范围使用Simulink Coverage，您可以根据测试套件所执行模型的行为来衡量测试套件的质量。使用Simulink Design Verifier，您可以自动生成测试以实现高覆盖率，并静态验证您的模型是否符合规定的需求，并且无需生成实际代码就可以避免某些错误。Simulink Coverage和Design Verifier是MathWorks提供的在基于模型的设计工作流中进行验证和验证的关键工具。

此前，我是形式化方法的博士后研究员，专注于硬件和软件验证的模型检查以及一阶自动定理证明。作为唯一负责的讲师，我还教授了几门关于逻辑、基础和编程语言的大学级课程。

新闻和更新

• MathWorks（我！）正在招聘（2021年11月4日）

  MathWorks的Simulink Design Verifier团队正在招聘。我正在寻找一位在构建静态分析工具方面具有正式方法知识和经验的人员。我们是一个小团队，拥有采用多种技术的成熟产品，并且有令人兴奋的问题需要解决。MathWorks是一个很好的工作场所，我们有成功的产品，我们的工作对让我们的科学和工程客户构建更好、更安全的系统具有实际影响。

  强制性要求：我们计划在一月份过渡到一个为期三天的混合工作模式。我们仍然是完全偏远的，但办公室对任何喜欢在那里工作的人开放。

  有关更多信息，请联系我，并查看职位发布.

• 在FMCAD与我会面（2019年9月25日）

  我今年要参加FMCAD会议和教程。如果你想见面，我将于10月22日至25日在圣何塞。

• FMCAD论文征集（2019年4月14日）

  还有时间提交10月22日至25日在加利福尼亚州圣何塞举行的计算机辅助设计正式方法（FMCAD）会议。摘要提交截止日期为5月17日（从5月10日延长），欢迎提交理论、工具文件和案例研究。FMCAD总是特别高兴收到业界的贡献，但通常会有很多新颖的学术报告。

  文件征集

• MathWorks暑期实习（2018年1月10日）

  我们有一个软件工程实习机会，在Simulink Design Verifier上工作。如果您对形式化方法有所了解，并且有构建、集成和评估工具的经验，那么这将是您了解我们的技术及其在工业环境中的使用的绝佳机会。如果你有兴趣，请联系我。

短传

（给我发电子邮件索取完整简历）

在加入The MathWorks之前，我是爱荷华大学计算机科学系的博士后研究学者。使用塞萨尔·蒂内利我们正在研究数据流语言Lustre中使用第2类模型检查器，由AFRL和NASA拨款资助。

我获得了EPSRC博士+计划的博士后奖学金（现在的EPSRC博士后奖）曼彻斯特大学，英国导师康斯坦丁柯罗文目标是调查我的博士研究的应用，我们致力于通过有效的命题推理进行硬件验证的模型检查。

我于年获得博士学位计算机科学从曼彻斯特大学，英国监管康斯坦丁柯罗文和雷娜特·施密特.我的论文题目是“Inst-Gen框架中的高效等式推理”. (PDF格式)

我毕业于信息学（计算机科学）来自卡尔斯鲁厄大学（现为卡尔斯鲁厄理工学院）获得了德语“Diplom”学位，该学位过去是一门4.5年的课程，大致相当于理学学士和理学硕士学位的结合，现在已经被这两个学位所取代。

我写了我的毕业论文“交互式证明构造中的自动定理证明”(PDF格式)在澳大利亚国立大学、堪培拉和NICTA公司在Peter Baumgartner（NICTA）和P.H.Schmitt（Uni Karlsruhe）的监督下。