• Sign in
  • Sign up
conf.researchr.org / Ioana Cristescu
  • ETAPS 2019 profile
  • ICFP 2020 profile

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

Share
xTue 20 Apr 09:36
using conf.researchr.org (v1.45.0)
Support page
Sign Up