Home

I am a former doctoral student in Computer Science at Indiana University. My research area is programming languages with an emphasis on types, static analysis, control-flow analysis and compilers.

I completed my Ph.D. in October 2011 and currently work at a post-doctorate position with the high-assurance systems programming (HASP) project at Portland State University.

My research objectives relate to the design, implementation and construction of programming languages, compilers and software analysis tools that help programmers more easily implement, reason about, prove correct and improve the performance of their programs.

On past internships I was involved with the development of

• the Glasgow Haskell Compiler,
• the Chez Scheme compiler and
• the X10 language.

See Also

• My published papers
• Talks that I’ve given
• Miscellaneous projects I’ve done in my spare time
• Courses that I’ve taught
• How to contact me
• My full curriculum vitae and research statement