I am a Ph.D. student at Florida State University studying Formal Methods in the Computer Science Department under the guidance of Dr. Grigory Fedyukovich. I began the program in January of 2020.

Our society relies heavily on the use of software. It is in the devices we use every day, in our vehicles, infrastructure, etc. We expect those systems to function properly with as few problems as possible. As software becomes more complex error checking becomes more difficult. My research will focus on improving software safety by proving its safety through the efficient synthesis of inductive invariants.

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.

Email: driley@cs.fsu.edu