Research Interests
     Semantics of Programming Languages
     Language-based Security
     Domain-specific Languages for Bioinformatics
     Formal Verification and Programming Logics
     Semantics-based System Design & Implementation
     Staged Programming and Partial Evaluation

Biographical information
     Recipient: NSF CAREER Award 2008 (CyberTrust program)
     Assistant Professor of Computer Science at MU since September 2003
     Post-doctoral Researcher at OGI from June 2000 until August 2003
     Visiting Lecturer (Computer Science), Indiana University, September 1999-May 2000
     Ph.D (Computer Science), University of Illinois at Urbana-Champaign 2001
     M.S. (Computer Science), University of California at Davis, August, 1992
     B.S. (Mathematics), University of California at Berkeley, May 1986

Recent Professional Activities
     Program Committee: Mathematics of Program Construction (MPC 2006)
     Program Committee: Haskell 2008

Publications (Complete List)
    Making Monads First-class With Template Haskell [Haskell08]
    Asynchronous Exceptions as an Effect [MPC08]
    Proof Abstraction for Imperative Languages [APLAS06]
    The Essence of Multitasking [AMAST06]
    A Simple Semantics for Polymorphic Recursion [APLAS05]
    RNA Pseudoknot Prediction Using Term Rewriting [BIBE05]
    Achieving Information Flow Security Through Precise Control of Effects [CSFW05]
    The Logic of Demand in Haskell [JFP 2005]
    Domain Specific Languages for Cellular Interactions  [EMBC 2004]
     «more»

Graduate Students
     Pericles Kariotis
     Adam Procter
     Ajay Nagar

Teaching
     CS4450: Principles of Programming Languages [Winter2008]
     CS 3280: Assembly Language Programming [Fall 2005]
     CS 7001: Foundations of Programming Languages [Fall 2005]
     CS4430: Introduction to Compiler Construction [Winter2006]
     CS4001/7001: Principles of Concurrent Programming [Fall2006]
     CS2110: Production Languages [Winter2006]

[Curriculum Vita]     [Talks]