Software Engineer
- The University of Texas at Austin
- PhD in Computer Science Expected 20??
- MS in Computer Science May 2021
- Carnegie Mellon University
- BS in Computer Science May 2013
- BS in Mathematical Sciences May 2013
I was a PhD student in Computer Science at UT Austin in the UTOPIA Research Group group. I worked 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 worked with Anna Gál on problems in complexity theory. Our work titled Cubic Formula Size Lower Bounds Based on Compositions with Majority was recognized as one of Oded's Choices by Oded Goldreich at ITCS 2019.
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 therefore 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).
| Office | GDC 5.728D |
|---|---|
|
Department of Computer Science The University of Texas at Austin 2317 Speedway, D9500 Austin, TX 78712 | |
| Links | GitHub |
- 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.
| Semester | Course |
|---|---|
| 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 |
| Semester | Course |
|---|---|
| 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 |