Current Courses
Fall 2024
-
CS 3100-001
Models Of ComputationLocation: SFEBB 1110 (SFEBB 1110) -
CS 4970-019
CS Bachelor's Thesis -
CS 6951-009
Teaching Menteeship
Summer 2024
Spring 2024
Professional Organizations
- IEEE. 02/01/2016 - 02/01/2040. Position : Senior Member.
- ACM. 07/01/2014 - 02/01/2040. Position : Distinguished Scientist.
Courses I Teach
-
CS 6110
-
Formal Methods in System Design
(http://www.eng.utah.edu/~cs6110)
Formal Methods to design reliable systems
Small Group Teaching
- 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