People

Principal Investigators

• Vijay Ganesh, Georgia Institute of Technology
• Martin Ochoa, Singapore University of Technology and Design
• Sebastian Banescu, Quantstamp Inc

Researchers

• Gilles Barthe, IMDEA Software
• Mayank Varia, Boston University
• Cynthia Disenfeld , University of Toronto