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 enjoy it a lot when I am learning new things. Besides work, I like to spend my time listening or playing music, dancing, tinkering with electronics and taking photos. Polaroid instant film is my favorite format.
My surname is Anaya González, two words with a space in between; this still confuses some to this day. I am originally from a small town in the state of Hidalgo, Mexico.