Peter Ohmann

Graduate Student in Computer Science at
The University of Wisconsin — Madison

“Beware of bugs in the above code; I have only proved it correct, not tried it.”
Donald Knuth
“Program testing can be a very effective way to show the presence of bugs, but is hopelessly inadequate for showing their absence.”
Edsger Dijkstra

My picture 

I am currently a 6th-year PhD student working in the Programming Languages group at UW—Madison. My advisor is Ben Liblit.

My research falls into the very general areas of software engineering, debugging, and program analysis. My specific goal is to utilize latent information (and introduce additional low-overhead information gathering) in core files produced by crashed applications to simplify the complex task of debugging. For more information about my research projects and publications, please see the relevant pages. Feel free to contact me with any questions.

I recently taught CS 506: Software Engineering. You can find more information about my teaching, both inside and outside the college classroom, on the relevant pages.