I'm a fourth year Ph.D. student in Computer Science.
My research interests include Quantified Boolean Formulas, Model Checking and Automata Theory.
Contact:
Email: last_name at cs.utexas.edu , where last_name = olivo
Office Hours (CS380C: Compilers, Spring '13 ): TTh 1:30-2:30 p.m., GDC 3.718A.