Adrian Trejo Nuñez

Photo of Adrian with former MMA fighter Alistair Overeem
Assistant Instructor
Teaching Assistant
PhD Student
The University of Texas at Austin
PhD in Computer Science Expected 2024
The University of Texas at Austin
MS in Computer Science May 2021
Carnegie Mellon University
BS in Computer Science May 2013
Carnegie Mellon University
BS 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

Email atrejo (at) (hostname)
Phone +1 (972) 408-5767
Office GDC 5.728D
Mail
Department of Computer Science
The University of Texas at Austin
2317 Speedway, D9500
Austin, TX 78712
Links LinkedIn
Twitter
GitHub

Research Interests

Publications

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