• Sign in
  • Sign up
conf.researchr.org / Luca Cardelli
  • APLAS 2020 profile
  • ETAPS 2019 profile
  • POPL 2016 profile

Registered user since Thu 22 Oct 2015

Name: Luca Cardelli

Affiliation: Microsoft Research and University of Oxford

Contributions

APLAS 2020 Keynote Speaker of Integrated Scientific Modeling and Lab Automation within the Keynote Talks-track
HSB 2019 Committee Member in Program Committee within the HSB-track
ETAPS 2019 Author of Markovian equivalences for biochemical reaction networks within the Posters-track
POPL 2016 Author of Symbolic Computation of Differential Equivalences within the Research Papers-track

Share
xFri 23 Apr 12:43
using conf.researchr.org (v1.45.0)
Support page
Sign Up