About Me
I am a computer scientist at Draper Laboratories on a team dedicated to formal methods research. We create tools to apply formal methods to real-world cybersecurity problems, reducing the barrier to provably-correct software solutions.
I completed Masters in Computer Science at Worcester Polytechnic Institute in May 2023. My thesis combines Homotopy Type Theory and crafting by way of PieceWork: a programming language to represent sewn quilts.
Research Interests
- Formal methods
- Cybersecurity
- Homotopy Type Theory
- Hybrid Systems & Differential Dynamic Logic
- Computational crafting
Education
M.S. Computer Science
Worcester Polytechnic Institute
May 2023
B.S. Computer Science
Worcester Polytechnic Institute
December 2022