4636 Beyster Building
Office Hours: by appointment until Fall 2022
Office Phone: 734-615-9916
I am on sabbatical leave for one year starting in Fall 2023.
I help organize our annual Climate, Diversity, Equity and Inclusion Report as well as CSE Town Halls.
I help maintain the Computer Science Graduate Job and Interview Guide which explains the CS job search process for graduate students (e.g., teaching and research statements, interviews, offers, negotations, academia and industry) and provides evidence from multiple experiences with it.
If you are interested in a letter of recommendation (e.g., for graduate school or a job or a fellowship application, etc.), I have information for students that discusses both my availability and also tries to provide some reassurance about how those deadlines and processes work.
My current main research interests relate to consciousness, time, and advancing software quality by using both static and dynamic programming language approaches. On the purely-CS side, I am particularly concerned with automatic or minimally-guided techniques that can scale and be applied easily to large, existing programs. I believe that finding bugs is insufficient, and I also work to help programmers address defects, understand programs, and program correctly.
Current major research interests and areas:
![]() |
Priscila Santiesteban, Ph.D. Student |
![]() |
Hammad Ahmad, Ph.D. Student |
![]() |
Madeline Endres, Ph.D. Student |
My teaching and advising have been well-received by generous students.
UM EECS 598 Special Topics |
UM EECS 590 | Advanced Programming Languages
|
UM EECS 481 | Software Engineering
|
UVA CS 1120 | Introduction to Computing
|
UVA CS 4610/4501 | Programming Languages |
UVA CS 6610 | Programming Languages |
UVA CS 8561 | Programming Languages Topics
|
Udacity CS 262
| Building a Web Browser | |