This site is supported by donations to The OEIS Foundation.
User:Barry Fagin
From OeisWiki
I am a Professor of Computer Science at the Air Force Academy in Colorado Springs. I currently do research in the use of formal methods to produce open-source software with provable security properties, cryptography, and computer science education.