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

Current EPSRC Support
EP/K008528/1 REMS: Rigorous Engineering for Mainstream Systems(C)
Previous EPSRC Support
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