Senior Lecturer of Computer Science
PhD, University of Illinois Urbana-Champaign
Programming Languages; In Particular, Partial Evaluation, Functional Programming Languages, Semantics, Continuations, Data Structures, Static Analysis, and Type Systems.