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 applications of logic in computer science. There are currently two major strands to my research. The first is the specification and verification of resilience properties in critical software and cyber-physical systems. The second is in the development of algorithms for the repair of databases and database queries. In both strands, the fundamental underlying tools are computational logic and formal methods.

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.