Search
Nathan Meskell
Liyi Li
People
Faculty
Assistant Professor
Area of Expertise:
Programming Languages/Software Engineering/Formal Method/Compilers
Quantum Computation
Security
Chris Johannsen
Gokul Hariharan
People
PhD Students
PhD Student
Area of Expertise:
Formal Methods
Tichakorn (Nok) Wongpiromsarn
Borzoo Bonakdarpour
People
Affiliated Faculty
Affiliate Assistant Professor
Area of Expertise:
Dependable distributed systems
Information-flow security
Verification