Beta Ziliani

Registered user since Fri 15 Jan 2016

Name:Beta Ziliani
Bio:

Currently researcher in the group LIIS at FAMAF, UNC and CONICET (Argentina).

From 04/2015 to 10/2015 Postdoc at LIIS.

PhD from MPI-SWS (Germany), supervisor Dr. Derek Dreyer.

MSc from FCEyN, UBA.

Country:Argentina
Affiliation:FAMAF, UNC and CONICET
Research interests:Interactive theorem proving, formal verification

Contributions

PEPM 2022 Committee Member in Program Committee within the PEPM 2022-track
TyDe 2021 Committee Member in Program Committee within the TyDe 2021-track
TyDe 2020 Author of Generalization of Meta-Programs with Dependent Types in Mtac2 with Mtac2 (Extended Abstract) within the TyDe 2020-track
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
CoqPL 2018 Committee Member in Program Committee within the -track
Author of A “destruct” Tactic for Mtac2 within the -track
ICFP 2018 Author of Mtac2: Typed Tactics for Backward Reasoning in Coq within the Research Papers-track
DLS 2017 Author of Decoding Lua: Formal Semantics for the Developer and the Semanticist within the DLS 2017-track
ICFP 2017 Committee Member in Program Committee within the Research Papers-track
TTT 2017 Author of Introducing MetaCoq: A Safe Tactic Language for Coq within the TTT-track
HOPE 2016 Committee Member in Program Committee within the HOPE-track
ICFP 2016 Committee Member in External Review Committee within the Research Papers-track