Adrian Trejo Nuñez

Assistant Instructor |
Teaching Assistant |
PhD Student |
The University of Texas at AustinPhD in Computer Science Expected 2024 |
The University of Texas at AustinMS in Computer Science May 2021 |
Carnegie Mellon UniversityBS in Computer Science May 2013 |
Carnegie Mellon UniversityBS in Mathematical Sciences May 2013 |
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
atrejo (at) (hostname) | |
Phone | +1 (972) 408-5767 |
Office | GDC 5.728D |
Department of Computer Science The University of Texas at Austin 2317 Speedway, D9500 Austin, TX 78712 | |
Links | |
GitHub |
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
Spring 2022 | CS 389L Automated Logical Reasoning |
---|---|
Fall 2021 | CS 371D Distributed Computing |
Spring 2021 | CS 395T The Model Checking Paradigm |
Spring 2020 | CS 388G Algorithms Techniques & Theory |
Fall 2019 | CS 429 Computer Organization and Architecture |
Summer 2019 | CS 429 Computer Organization and Architecture |
Spring 2019 | CS 105C Computer Programming C++ |
Fall 2018 | CS 105C Computer Programming C++ |
Summer 2018 | CS 371L Mobile Computing (iOS) |
Spring 2018 | CS 105C Computer Programming C++ |
Fall 2017 | CS 105C Computer Programming C++ |
Spring 2017 | CS 429 Computer Organization and Architecture |
Fall 2016 | CS 429 Computer Organization and Architecture |
Carnegie Mellon University
Spring 2013 | 15-359 Probability and Computing |
---|---|
Fall 2012 | 15-213 Introduction to Computer Systems |
Spring 2012 | 15-750 Graduate Algorithms |
21-268 Multidimensional Calculus | |
Fall 2011 | 15-213 Introduction to Computer Systems |