conf.researchr.org / Ioana Cristescu

Not registered as user yet

Name: Ioana Cristescu

Affiliation: INRIA, France

Contributions

OCaml 2020 Author of Irmin v2 within the OCaml 2020-track
SPIoT 2019 Committee Member in Program Committee within the SPIoT-track
ESOP 2019 Author of Counters in Kappa: Semantics, Simulation, and Static Analysis within the ESOP 2019-track