About me


Hello! My name is Alaia, and I am a second-year Ph.D. student at the University of Pennsylvania. I am fortunate to be advised by Rajeev Alur. My research interests include programming languages, program synthesis, and neurosymbolic learning.

Previously, I did my B.S. and M.Eng. at Cornell University where I did research under Nate Foster and Alexandra Silva on automata learning.