This site is supported by donations to The OEIS Foundation.

User:Barry Fagin

From OeisWiki
Jump to: navigation, search

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.