• 福格蒂是澳门金沙赌城线上游戏计算机科学系的副教授.

    • Ph.D. 莱斯大学计算机科学专业
    • M.S. 莱斯大学计算机科学专业
    • B.S. 伊利诺伊大学厄巴纳香槟分校计算机科学专业
    • 科里·费舍尔，赛斯·福格蒂，摩西·瓦尔迪. 评价有效 chi通用性检验的随机模型.在进行中. 第七届印度逻辑及其应用会议(ICLA)， 2017
    • 赛斯·福格蒂，奥娜·库普弗曼，摩西·Y. 瓦尔迪，托马斯·威尔克. 《b chi词自动机的轮廓树及其在确定中的应用》(完整版). 信息与计算(1)&C), 2015
    • 赛斯·福格蒂，奥娜·库普弗曼，摩西·Y. 瓦尔迪，托马斯·威尔克. 《统一气补构》(完整版). 计算机科学中的逻辑方法，2013
    • 赛斯·福格蒂，摩西Y. 瓦迪. “b chi的补充和尺寸变更终止”(完整版). 计算机科学中的逻辑方法，2012
    • 赛斯·福格蒂，摩西Y. 瓦迪. “高效bchi通用性检查”.在进行中. 第16届系统构建与分析工具与算法国际会议(TACAS), 2010

    Fogarty的主要研究是形式验证:如何自动证明程序满足规范. 而大多数程序都是通过特别测试来检查的, 对于某些系统，我们需要更正式的正确性证明. 一般来说，以有意义的方式对程序进行推理是不可能的:它们太复杂了. 在形式化验证中，我们创建程序的抽象模型，并对模型进行推理. 福格蒂侧重于自动理论验证, 其中程序和规范都被建模为无限单词上的有限自动机.

    他研究创建特定领域的语言:专门针对特定领域的小型编程语言, 由该领域的专家提供信息.

    • 编程语言
    • 离散数学
    • 编译器
    • 函数式语言
    • 形式验证
    • 学院赞助商，计算机协会的学生分会.
    • 10Bitworks创客空间成员.
    • 极客王国创业协作成员.