Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andrew M. Pitts
conf.researchr.org general profile
ETAPS 2019 profile
ICFP 2017 profile
POPL 2016 profile
POPL 2023 profile
POPL 2024 profile
Registered user since Mon 27 Apr 2015
Name:
Andrew M. Pitts
Affiliation:
University of Cambridge
Personal website:
http://www.cl.cam.ac.uk/~amp12/
Contributions
2024
POPL
Committee Member in Program Committee within the POPL-track
2023
POPL
Author of Locally Nameless Sets within the POPL-track
2019
ETAPS
Committee Member in Steering Committee
Author of ETAPS Steering committee meeting within the Social-track
FOSSACS
Session Chair of Resource Logics (part of FOSSACS 2019)
2017
FSCD
Author of Models of Type Theory Based on Moore Paths within the FSCD 2017-track
2016
POPL
ERC member in External Reviewing Committee
ERC member in External Reviewing Committee within the Research Papers-track
Share
x
Thu 21 Nov 12:52
