About Me

I'm a Computer Science PhD student at Iowa State University working in the Laboratory for Temporal Logic under Kristin Yvonne Rozier.

My research interests focus on building and verifying trustworthy systems using formal methods. In particular, I'm interested in model checking and runtime monitoring of temporal logic properties.

I have experience as a formal verification intern at Siemens EDA (formerly Mentor Graphics) and the SRI International Computer Science Laboratory, and Fondazione Burno Kessler (FBK) Formal Methods Unit.