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

I joined the Computer Science and Engineering department at University of California San Diego in Fall 2022 as a graduate student. 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 Representation-based and Neurosymbolic Program Synthesis.

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. Great times!

I am originally from Hidalgo, Mexico.

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