208 West Village H
- BS in Computer Engineering and Spanish, Iowa State University
- 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.