Assistant Professor of Instruction
Assistant Professor of Instruction
Email
Office
NPB 3.332
Areas of Specialization
Logics for reasoning about programs
Models of Computation
Education
Ph.D., Indiana University (2009)