Academics

Degrees

Ph.D., Computer science, Iowa State University, 2022

Ph.D., Nuclear Physics, Iowa State University, 2016

B.A., Physics, Grinnell College, 2010

Interests

My primary interest is in game development with Rust or other technologies. I'm also interested in programming languages, molecular programming, DNA nanotechnology, formal verification, and proof engineering.

Selected Publications