POPL 2017 (series) / TTT 2017 (series) / TTT 2017 /
Introducing MetaCoq: A Safe Tactic Language for Coq
Currently researcher in the group LIIS at FAMAF, UNC / CONICET (Argentina).
From 04/2015 to 10/2015 Postdoc at LIIS.
PhD from MPI-SWS (Germany), supervisor Dr. Derek Dreyer.
MSc from FCEyN, UBA.
Sun 15 Jan
|16:00 - 16:50|
Robbert KrebbersDelft University of Technology, Netherlands
|16:50 - 17:10|
Beta ZilianiFAMAF, UNC (Argentina) / CONICET (Argentina)
|17:10 - 18:00|