用户：Barry Fagin

我是科罗拉多州斯普林斯空军学院的计算机科学教授。我目前正在研究使用正式方法来生产具有可证明安全属性的开源软件、密码学和计算机科学教育。