Current Courses
Spring 2025
-
CS 4961-001
Special Topics -
CS 4970-010
CS Bachelor's Thesis -
CS 6951-012
Teaching Menteeship -
CS 6961-001
Special Topics
Fall 2024
Summer 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