Models Of ComputationLocation: WEB L104 (WEB L104)
CS Bachelor's Thesis
Advanced SeminarLocation: MEB 3515 (MEB 3515)
- 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
- Undergraduate REU Group focused on Machine Learning meets every week, and consists of the following students: Keaton Rowley (BS Thesis); Marissa Angell (NSF REU); Nithin Chalapathi (NSF REU); Emil Geisler (U of U UROP); Sahana Kargi (U of U UROP). 01/20/2021 - 05/01/2021
- 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