Beta Ziliani

Registered user since Fri 15 Jan 2016

Name:Beta Ziliani
Bio:

Currently, I’m a Team Leader at Manas.Tech, leading the development of the Crystal programming language. Professor at FAMAF, UNC (Argentina).

Previously, I was a researcher at CONICET (Argentina), after obtaining my PhD from MPI-SWS and UdS (Germany) under the supervision of Dr. Derek Dreyer.

Country:Argentina
Affiliation:FAMAF, UNC and Manas.Tech
Research interests:programming languages, interactive theorem proving, formal verification, compilers

Contributions

ICFP 2023 Committee Member in Program Committee within the ICFP Research Papers-track
OCaml 2022 Committee Member in Program Committee within the OCaml 2022-track
PEPM 2022 Committee Member in Program Committee within the PEPM 2022-track
TyDe 2021 Committee Member in Program Committee within the TyDe 2021-track
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
TyDe 2020 Author of Generalization of Meta-Programs with Dependent Types in Mtac2 with Mtac2 (Extended Abstract) within the TyDe 2020-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
ICFP 2018 Author of Mtac2: Typed Tactics for Backward Reasoning in Coq 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
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
ICFP 2016 Committee Member in External Review Committee within the Research Papers-track
HOPE 2016 Committee Member in Program Committee within the HOPE-track