Theoretical Foundations


Formal systems and algorithms define the foundation from which the computer science field evolved and hold the promise for future innovations needed to address design and engineering challenges such as security, privacy, robustness, reliability, etc. as well as emerging societal needs.


  • Distributed Algorithms
  • Specification and Verification
  • Program Synthesis


Tom Hayes
Deepak Kapur
Matthew Lakin
Gruia-Catalin Roman
Jared Saia