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

PriSC 2023	Committee Member in Steering Committee within the PriSC 2023-track
ProLaLa 2023	Co-chair in Program Committee within the ProLaLa 2023-track Session Chair of Session #2 (part of ProLaLa 2023) Session Chair of Session #3 (part of ProLaLa 2023) Opening comments Session Chair of Session #4 (part of ProLaLa 2023) Formalising Criminal Law in Catala Session Chair of Session #1 (part of ProLaLa 2023)
Show activities from other conferences