I'm a third year Ph.D. student in Computer Science.
My research interests include Quantified Boolean Formulas, Model Checking and Automata Theory.
Spring 2012: Teaching Assistant for CS 380S (Formal Semantics & Verification)
Contact:
Email: last_name at cs.utexas.edu , where last_name = olivo
Office hours: TTh 4-5 p.m., ACES 3.302.