Peter Ohmann

Assistant Professor of Computer Science at
Xavier 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

My picture 

I am an Assistant Professor in the Computer Science department at Xavier University. I completed my Ph.D. at The University of Wisconsin — Madison under 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 am currently teaching CSCI 170: Computer Science I. You can find more information about my teaching, both inside and outside the college classroom, on the relevant pages.