Education
Ph.D., Computer Science, Yale University, USA, 1988.
M.S./M.Phil., Computer Science, Yale University, USA, 1984.
B.A., Mathematical Sciences, Williams College, USA, 1982.
Research Interests
Design and implementation of programming languages, compiler verification, and compiler optimizations.