Search

Clay Stevens

Faculty
Assistant Professor
Area of Expertise: 
Software Engineering and Formal Methods

Nathan Meskell

PhD Students
Graduate Student
Area of Expertise: 
Theoretical Computer Science
Formal Methods

Liyi Li

Faculty
Assistant Professor
Area of Expertise: 
Programming Languages/Software Engineering/Formal Method/Compilers
Quantum Computation
Security

Chris Johannsen

PhD Students
PhD Student
Area of Expertise: 
Formal Methods
Model Checking and Verification

Gokul Hariharan

PhD Students
PhD Student
Area of Expertise: 
Formal Methods

Borzoo Bonakdarpour

Borzoo Bonakbarpour
Affiliated Faculty
Affiliate Assistant Professor
Area of Expertise: 
Dependable distributed systems
Information-flow security
Verification

Samik Basu

Samik Basu
Faculty
Professor
Area of Expertise: 
Formal Methods
Model Checking