Peter Ohmann

Associate 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 Associate 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 two general areas: software engineering + program analysis, and CS education. In the former, 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. In the latter, I do research on the effectiveness of oral exams in undergraduate education and integrating ethical content into early CS courses. 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.