About Me

Hello! My name is Rob, and I’m a second-year computer science PhD student at the University of Iowa. I work under the supervision of Dr. Cesare Tinelli and Dr. Omar Chowdhury (@ Stony Brook University), and my research interests focus on formal methods, often with applications in computer security. You can find my CV here (last updated in August 2023).

When I’m not working, I enjoy guitar and video games.