Skip to main content


Office Location

208 West Village H


  • BS in Computer Engineering and Spanish, Iowa State University

About Me

  • Hometown: Bettendorf, Iowa
  • Field of Study:  Computer Science
  • PhD Advisor:  Pete Manolios

What are the specifics of your graduate education (thus far)?

I recently entered Northeastern as a first-year PhD Student, working in the Formal Methods Lab on techniques for lemma generation in interactive theorem proving.

What are your research interests in a bit more detail? Is your current academic/research path what you always had in mind for yourself, or has it evolved somewhat? If so, how/why?

I am currently interested in developing tools that allow software engineers, computer scientists, and mathematicians to prove properties about safety-critical systems.

What’s one problem you’d like to solve with your research/work?

I would like to find ways to make formal verification techniques accessible to a wider audience, without requiring extended and specific additional training.

What aspect of what you do is most interesting/fascinating to you? What aspects of your research (findings, angles, problems you’re solving) might surprise others?

I enjoy seeing how theory and practice mingle, and watching how ideas are fully developed from an initial, theoretical idea, to a final implementation that is usable.

What are your research/career goals, going forward?

After completing my PhD, I plan to join either a government or industrial lab and continue to develop practical and robust tools for use by engineers.