Hi! This is Emmanuel, writing from San Diego, CA.

I joined the Computer Science and Engineering department at University of California San Diego as a MS student in Fall 2022. Here, I am part of the Programming Systems group, and I am fortunate to be advised by Prof. Nadia Polikarpova. We have been working on many things Program Synthesis, nowadays mainly focused on Neurosymbolic Programming and Constrained Generation with LLMs.

Before joining UCSD, I did my undergrad studies at Facultad de Ciencias and got my B.S. in C.S. from Universidad Nacional Autónoma de México (UNAM) in 2021. In the past, I have also done Software Engineering professionally at Amazon, Microsoft and elsewhere.

I am originally from a small town in the state of Hidalgo, Mexico.

$\square(\square P \rightarrow P) \rightarrow \square P$