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

用户:巴里·费金

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

我是科罗拉多州斯普林斯空军学院的计算机科学教授。目前我用开放源码的方法来研究计算机的安全性和可证明性。