Michael Vaughn's UW-Madison Website


I'm Michael Vaughn, a Ph.D. student at the University of Wisconsin-Madison, and my advisor is Tom Reps. My research interests lie at the intersection of operating systems and programming languages. In particular, I'm interested in how techniques from formal verification and program synthesis can be applied to make operating systems safer, more secure, and easier to develop.

Current Work

Past Work

Computer Science References I Like

Other Things I Like

Because you should get away from that darn computer once in a while