这个网站是由捐款支持的OEIS基金会.

费金用户:费金

来自OeisWiki
跳转到:航行,搜索

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