• Sign in
  • Sign up
conf.researchr.org / Nick Benton
  • ICFP 2016 profile
  • POPL 2016 profile
  • SIGCSE TS 2023 profile
  • SPLASH 2023 profile
No Photo

Not registered as user

Name:Nick Benton
Affiliation:Microsoft Research, Cambridge
Personal website: http://research.microsoft.com/en-us/um/people/nick/

Contributions

2023

PPDP

  • Author of 10-Year Most Influential Paper Talk: Coq: the world's best macro assembler? within the PPDP 2023-track

2016

HOPE

  • Committee Member in Program Committee within the HOPE-track

POPL

  • ERC member in External Reviewing Committee
  • ERC member in External Reviewing Committee within the Research Papers-track
Share
xTue 20 May 04:41
using conf.researchr.org (v1.69.0)
Support page
Sign Up