I am Teaching Faculty in the Computer Science Department at Florida State University. I received my Ph.D. in Computer Science from FSU in 2026, working with Dr. Grigory Fedyukovich. I also completed a B.S. in Physics at FSU in 2019. I teach undergraduate courses in the department.
Research
In my PhD studies I researched formal methods, with a focus on automated software verification. Software is in the devices we use every day, in our vehicles, infrastructure, and elsewhere, and we expect those systems to function correctly. As programs become more complex, checking that behavior by testing alone becomes harder. That work focused on proving software safety through the efficient synthesis of inductive invariants, and on computing exact bounds on loop execution.
Publications
-
Multi-Phase Invariant Synthesis
ESEC/FSE 2022
Artifact -
Exact Loop Bound Analysis
PLDI 2025