Current Courses
Fall 2022
-
CS-7931
Advanced Seminar -
CS-3100
Models Of Computation -
CS-6020
Early-Career Research -
CS-6951
Teaching Menteeship -
CS-4970
CS Bachelor's Thesis
Summer 2022
Spring 2022
Professional Organizations
- 2016 - 2040. Position : Senior Member.
- 2014 - 2040. Position : Distinguished Scientist.
Courses I Teach
-
CS-7931
-
Advanced Seminar
-
CS-3100
-
Models Of Computation
-
CS-6020
-
Early-Career Research
-
CS-6951
-
Teaching Menteeship
-
CS-4970
-
CS Bachelor's Thesis
-
CS-4970
-
CS Bachelor's Thesis
-
CS-6951
-
Teaching Mentorship
-
CS-4970
-
CS Bachelor's Thesis
-
CS-6020
-
Early-Career Research
-
CS-3100
-
Models Of Computation
-
CS-6110
-
Software Verification
-
CS-6945
-
Graduate Internship
-
CS-5110
-
Software Verification
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). 2021 - 2021
- Study group involving a female undergraduate REU student also doing BS thesis with me (Keaton Rowley). 2020 - 2020
- Running a research group involving an UG. 2019 - 2020
- Summer internship mentor for Jamie Hall (US, Female), Wesley Larson (US), Sam Zachary (US), Zepeng Zhao (US resident), Heath French (US). 2015 - 2016