Research interests
    I study programming languages and computer security. Most recently, my work has focused on language-based enforcement of information-flow policies and understanding declassification. I am also interested in secure concurrent and distributed computing, functional programming languages, type theory, linear logic, theorem proving and mechanized metatheory.

Activities
    :: Programming Languages and Analysis for Security (PLAS 2006) ()
    :: PL Club
    :: Mechanized Metatheory for the Masses!
    :: Security-Oriented Languages (SOL)
    :: New Jersey Programming Languages Seminar (NJPLS)
    :: Summer School on Reliable Computing
    :: Information Assurance Research at Penn

Publications (Complete List)
    - Type Inference for Java 5: Wildcards, F-Bounds, and Undecidability [Submitted]
    - Enforcing Robust Declassification [JCS to appear]
    - Mechanized Metatheory for the Masses: The POPLMark Challenge [TPHOLs 2005]
    - Dynamic updating of information-flow policies [FCS 2005]
    - Unifying Confidentiality and Integrity in Downgrading Policies [FCS 2005]
    - «more»

Ph.D. Students
    > Peng Li
    > Stephen Tse
    > Karl Mazurak

Teaching
    * CIS 700: Software and Compiler Verification [2005]
    * CIS/TCOM 551: Computer and Network Security [2006] [2005]
    * CSE 331: Introduction to Networks and Security [2004] [2003] [2002]
    * CIS 700: π -Calculus and Foundations of Concurrent Systems [2004]
    * CIS 670: Advanced Topics in PL (Safety and Security) [2003]

Awards and Honors
    - NSF CAREER award, 2004
    - Best Paper award at SOSP, 2001
    - Intel Foundation Graduate Fellowship, 2001
    - Best Paper award at ICFP, 1999
    - NSF Graduate Student Fellowship, 1996

[Curriculum Vita]     [Talks]     [Writing Tips]