About
I recently defended my Ph.D. dissertation in Computer Science at the University of Central Florida, advised by Dr. Gary T. Leavens. Since 2022, I have been a Ph.D. intern at Idaho National Laboratory's National and Homeland Security Directorate, including a joint appointment with the CyManII Cybersecurity Manufacturing Innovation Institute. I have accepted a Research Scientist, System Security Researcher position at MIT Lincoln Laboratory.
My research sits at the intersection of programming language theory and cyber-physical systems security. I focus on stealthy attacks: sequences of individually valid, authenticated commands that drive a physical system into an unsafe state. These attacks are invisible to defenses that inspect individual messages or model physical behavior without protocol structure. My goal is to close that gap with machine-checked, formally verified guarantees.
For the published papers and project history, visit the Research and Projects page.