Models Of ComputationLocation: CANVAS (CANVAS)
CS Bachelor's Thesis
Advanced SeminarLocation: MEB 3485 (MEB 3485)
- IEEE. 02/01/2016 - 02/01/2040. Position : Senior Member.
- ACM. 07/01/2014 - 02/01/2040. Position : Distinguished Scientist.
Formal Methods in System Design
Formal Methods to design reliable systems
- Study group involving a female undergraduate REU student also doing BS thesis with me (Keaton Rowley). 01/01/2020 - 12/31/2020
- Running a research group involving an UG. 06/01/2019 - 06/30/2020
- Summer internship mentor for Jamie Hall (US, Female), Wesley Larson (US), Sam Zachary (US), Zepeng Zhao (US resident), Heath French (US). 06/01/2015 - 02/01/2016