用户：Barry Fagin

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