Senior Lecturer of Computer Science and Director of the Graduate Professional Program
PhD, Cornell University
(Turn on scripting to see this.)
Programming Languages, Programming Logics, Operational Semantics, and Evidence-Based Semantics.