People
Faculty
- Matthew Dwyer, Kansas State University
- John Hatcliff, Kansas State University
- Masaaki Mizuno, Kansas State University
- Mitch Neilsen, Kansas State University
- Gurdip Singh, Kansas State University
Students
- William Deng, Kansas State University (Code Synthesis)
- Ye Su, Kansas State University (CAN Mapping)