## Adrian Trejo Nuñez(atrejo AT andrew DOT cmu DOT edu)
I am a first year graduate student at Carnegie Mellon University. I expect to graduate in May 2014 with an M.S. in Computer Science and a B.S. in Mathematical Sciences. I graduated in May 2013 with a B.S. in Computer Science and a B.S. in Mathematical Sciences. I was awarded the Allen Newell Award for Excellence in Undergraduate Research. I was also a recipient of the Allen Newell Undergraduate Scholarship for the 2010-2011 and 2011-2012 academic years. I'm starting another internship at Facebook, Inc. on June 3rd in Menlo Park, CA. I'll be a teaching assistant for 15-213 Introduction to Computer Systems taught by professors Dave O'Hallaron, Randy Bryant, and Greg Kesden in the Fall. ## Research InterestsI'm generally interested in the topics of algorithm design and analysis, complexity theory, computability theory, and queueing theory. My recent projects deal primarily with automata theory and queueing systems. I completed my senior thesis on my project dealing with ω-automata and their applications. ## Projects## Classification and Automaticity of Discrete Dynamical Systems (October 2011 – present)I'm building the automata theoretic support structure to perform model checking for first-order logic formulas on one-way infinite cellular automata. I've written a software program in C This stems from my final project for 15-354 Computational Discrete Mathematics, taught by Klaus Sutner. I was awarded the Allen Newell Award for Excellence in Undergraduate Research for this project. Read more on the project page. ## Transient Analysis of Queueing Systems (December 2011 – May 2012)I'm trying to understand the transient behavior of queueing systems
before they enter the steady state. I've researched previous attempts
at deriving closed form solutions for the transient probabilities in
the M I presented my work at this year's Meeting of the Minds research symposium and won the Boeing Blue Skies award for my work. I'll be presenting at SRC's TECHCON 2012 in Austin, TX in September. ## LLVM Compiler Infrastructure (August 2011)I wrote a compiler pass within the LLVM framework that analyzes every store through a pointer or array in order to identify potential vulnerable points for buffer overflow exploits. My pass analyzes loops within the program and makes a note of those stores that occur within nested loops. The pass runs as part of the optimization passes that transforms assembly code as part of the compilation process. It also serves as a starting point for a pass that recognizes buffer overflow vulnerabilities. ## Work Experience*Software Engineer Intern*, Facebook, Inc. (June 2013 – August 2013)*Software Engineer Intern*, Facebook, Inc. (June 2012 – August 2012)*Software Developer*, Autolab2 (October 2010 – November 2011)
## Current Coursework (Fall 2013)15-819 Advanced Topics in Programming Languages: Homotopy Type Theory 15-859 A Theorist's Toolkit
## Previous Relevant CourseworkGraduate Coursework 15-750 Graduate Algorithms 15-781 Introduction to Machine Learning 15-857 Performance Modeling and Analytical Design of Computer Systems 15-859 An Intensive Introduction to Computational Complexity Theory 21-701 Discrete Mathematics
Undergraduate Coursework 15-312 Principles of Programming Languages 15-354 Computational Discrete Mathematics 15-359 Probability and Computing 15-454 Computational Automata Theory 21-301 Combinatorics 21-375 Elliptic Curves and Cryptography 21-484 Graph Theory
## Teaching Experience15-213 Introduction to Computer Systems: F13, F12, F11 15-359 Probability and Computing: S13 15-750 Graduate Algorithms: S12 21-268 Multidimensional Calculus: S12
## ContactCarnegie Mellon University SMC 3725 5032 Forbes Avenue Pittsburgh, PA 15213 Computer Science Department | Department of Mathematical Sciences |