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. 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.

Multi-Phase Invariant Synthesis - Published in ESEC/FSE 2022. Multi-Phase Invariant Synthesis Artifact - A virtual machine with the ImplCheck tool installed.

Exact Loop Bound Analysis - Published in PLDI 2025.

Office: 408A Love Building Email: driley@cs.fsu.edu