Future
Starting in Fall 2006, I will be a Research Assistant Professor at the
Toyota Technological Institute at
Chicago.
Job Search
Research
My main research interests lie with programming languages, including
type systems, semantics, and compiler technology. Currently, I am
looking at applying substructural type systems to issues of memory
management, state, and effects.
Professional Activities
Activities
-
I am an active developer of
MLton:
an open-source, whole-program, optimizing Standard ML compiler.
-
As a programming languages researcher, I am excited about the
opportunities for mechanizing reasoning about programming languages.
The
POPLMark Challenge hopes to spark additional interest in this
problem. As a result of discussions about the POPLMark Challenge, I
have started using Twelf in my
research, and I have collected a set of interesting examples.
-
I am a member of
Triforce:
the Programming Languages, Compilers, and Security Group at Harvard.
I have the Mirror Shield
.
-
I have been sitting in on Programming with
Concurrency, a Fall 2005 course at Harvard. I even did a project
on A Monadic Account of
First-Class Synchronous Events.
-
I participate in
Programming Wednesdays at Harvard, a weekly forum for informal
talks on relevant and interesting topics in programming languages.
-
I participated in the Programming Languages
Discussion Group at Cornell, another weekly forum for informal
talks on relevant and interesting topics in programming languages.
Talks
Teaching Experience
|