Programatica项目
集成编程、属性和验证

人

[TODO:指明联系人？]

项目人员

伊沃·迪亚奇基

OGI计算机科学与工程博士生

托马斯·哈格伦

博士后研究助理，OGI计算机科学与工程

汤姆·哈克

PSU计算机科学博士生

比尔·哈里森

密苏里大学哥伦比亚分校助理教授

詹姆斯·胡克,

PSU计算机科学系副教授

布莱恩·霍夫曼

OGI计算机科学与工程博士生

马克·琼斯,

PSU计算机科学系副教授

理查德·基伯茨,

名誉教授，OGI计算机科学与工程系

丽贝卡·莱斯利

PSU计算机科学博士生

约翰·马修斯,

助理教授，OGI计算机科学与工程系

安德鲁·托尔马赫

副教授，PSU计算机科学系

宫田幸季

OGI计算机科学与工程系

合作者、同事和过去的成员

安德鲁·亚当斯·莫拉

Galois连接

Sylvain Conchon公司

INRIA Rocquencourt公司

John Launchbury，

教授，OGI计算机科学与工程系

蒂姆·索尔温，

OGI计算机科学与工程博士生

蒂姆·谢尔德,

PSU计算机科学副教授

弗兰克·泰勒，

业务知识架构师

马克·图尔森

Galois连接