POPL 2021
Sun 17 - Fri 22 January 2021 Online
Yannick Zakowski

Registered user since Wed 27 Nov 2019

Name: Yannick Zakowski

Country: France

Affiliation: Inria

Personal website: https://www.seas.upenn.edu/~zakowski/

Research interests: Verified Compilation, Proof Assistants, Semantics, Program Logics


CoqPL 2021Invited Speaker in Invited speaker within the CoqPL-track
CPP 2021Committee Member in Program Committee within the CPP 2021-track
Show activities from other conferences

Using general profile