Name:	Professor AM Pitts
Organisation:	University of Cambridge
Department:	Computer Science and Technology
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/K008528/1 REMS: Rigorous Engineering for Mainstream Systems (C) EP/D000459/1 Computational Applications of Nominal Sets (P) GR/T11715/01 Naming, Distribution and Versioning: Programming Language Design and Implementation (C) GR/R07615/01 Freshml: a Fresh Approach To Name Binding In Metaprogramming Languages (P) GR/M04716/01 LILY: THEORY AND PRACTICE OF LINEAR POLYMORPHIC INTERMEDIATE LANGUAGES (P) GR/L38356/01 AN OPERATIONAL THEORY OF OBJECTS (P) GR/K45029/01 SEMANTICS OF COMPUTATION (P) GR/J97366/01 SYSTEMATIC PROGRAMMING SEMANTICS (C) GR/G53279/01 VERIFYING ML PROGRAMS USING EVALUATION LOGIC (P)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator