费金用户：费金

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