赛斯·福格蒂博士.D.
- 副教授 , 计算机科学
福格蒂是澳门金沙赌城线上游戏计算机科学系的副教授.
Fogarty的主要研究是形式验证:如何自动证明程序满足规范. 而大多数程序都是通过特别测试来检查的, 对于某些系统,我们需要更正式的正确性证明. 一般来说,以有意义的方式对程序进行推理是不可能的:它们太复杂了. 在形式化验证中,我们创建程序的抽象模型,并对模型进行推理. 福格蒂侧重于自动理论验证, 其中程序和规范都被建模为无限单词上的有限自动机.
他研究创建特定领域的语言:专门针对特定领域的小型编程语言, 由该领域的专家提供信息.