ICFP 2021
Sun 22 - Sat 28 August 2021
Jonathan Protzenko

Registered user since Tue 2 Jun 2015

Name:Jonathan Protzenko
Country:United States
Affiliation:Microsoft Research, Redmond
Research interests:Type systems, programming languages, software verification

Contributions

ML 2021 PC Chair in Organizing Committee within the ML 2021-track
OCaml 2021 Committee Member in Program Committee within the OCaml 2021-track
ICFP 2021 Catala: A Programming Language for the Law
Show activities from other conferences

ICFP 2021-profile
View general profile