Peter Ohmann

Assistant Professor of Computer Science at the
College of St. Benedict / St. John's University

“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

I am an Assistant Professor in the Computer Science department at the College of St. Benedict / St. John's University. I completed my Ph.D. at The University of Wisconsin — Madison under Ben Liblit.

I teach a wide variety of courses. My areas of specificalization include: Software Engineering, Programming Languages, Theory, and Operating Systems.

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 am currently teaching

You can find more information about my teaching, both inside and outside the college classroom, on the relevant pages.