Research interests: computational logic and programming languages theory.

Prof. Stump, Prof. Omar Chowdhury, and Prof. Cesare Tinelli run the U. Iowa Computational Logic Center. 

The center's main application goal is program verification.

See here for papers.