Adrian Trejo Nuñez

Biography

The University of Texas at Austin

I am a PhD student in Computer Science at UT Austin in the UTOPIA Research Group group. I am fortunate to have Işıl Dillig as my advisor. I am also working with Anders Miltner and Swarat Chaudhuri. Our work titled Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution received a distinguished paper award and a reusable artifact badge at POPL 2022. I received my MS in Computer Science in 2021.

Carnegie Mellon University

I received BS in Computer Science and BS in Mathematical Sciences from Carnegie Mellon University in May 2013. I completed my senior thesis titled Classification and Automaticity of Discrete Dynamical Systems under the supervision of Klaus Sutner for which I was awarded the Allen Newell Award for Excellence in Undergraduate Research and thus graduated with School of Computer Science Honors. I graduated with University Honors for both degrees. I worked with Mor Harchol-Balter on problems in Queueing Theory. I worked with Dave O'Hallaron on systems problems involving automatically grading student assignments using virtual machines running on a cluster of physical machines (a precursor to containerization and Kubernetes).

Contact Information

Research Interests

• Programming Languages
• Program Synthesis
• Model Checking
• Computational Complexity Theory
• Formula/Circuit Lower Bounds
• Quantum Complexity
• Combinatorics and Graph Theory

Publications

• Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution [Distinguished Paper]
  Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, Işıl Dillig POPL 2022.
• Cubic Formula Size Lower Bounds Based on Compositions with Majority [Oded's Choices]
  Anna Gál, Avishay Tal, and Adrian Trejo Nuñez. ITCS 2019.

Teaching

The University of Texas at Austin

Carnegie Mellon University