Assistant Instructor; Teaching Assistant; PhD Student

• The University of Texas at Austin
  • PhD in Computer Science Expected 2023
  • MS in Computer Science May 2021
• Carnegie Mellon University
  • BS in Computer Science May 2013
  • BS in Mathematical Sciences May 2013

I am a PhD student in Computer Science at UT Austin in the UTOPIA Research Group group. I am working with Işıl Dillig, 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 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 automatic grading of student assignments using individual virtual machines on a cluster of machines (a precursor to containerization and Kubernetes).

• 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. Philadelphia, PA.
• 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. San Diego, CA.