I am a Ph.D. candidate in the Computer and Information Science department at the University of Pennsylvania, where I am advised by Andre Scedrov and Val Tannen. Previously, at the University of Amsterdam, I had the privilege of being advised by Balder ten Cate. My contact information is in my CV.

Research
I am broadly interested in logic in computer science, especially the feasibility and limitations of machine reasoning about formal logical properties of computational systems. I use computational logic and formal methods to specify, analyze, and verify resilient and reliable systems. My current research focuses on relational program verification for data-centric systems, combining AI-guided search with the reliability of symbolic verification.

Education
M.S., Computer Science. University of Texas at Austin, 2023.
M.Sc., Logic. University of Amsterdam, 2023.
B.A., Economics. University of California, Los Angeles, 2016.

Teaching
Mathematical Foundations of Computer Science. Instructor (UPenn). Summer 2024.
Algorithms. TA (UT Austin). Spring 2023.