Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Luca Cardelli
conf.researchr.org general profile
APLAS 2020 profile
ETAPS 2019 profile
POPL 2016 profile
SPLASH 2021 profile
Registered user since Thu 22 Oct 2015
Name:
Luca Cardelli
Affiliation:
Microsoft Research and University of Oxford
Contributions
2021
SPLASH
Keynote Speaker of Integrated Scientific Modeling and Lab Automation within the Keynotes-track
2020
APLAS
Keynote Speaker of Integrated Scientific Modeling and Lab Automation within the Keynote Talks-track
2019
ETAPS
Author of Markovian equivalences for biochemical reaction networks within the Posters-track
HSB
Committee Member in Program Committee within the HSB-track
2016
POPL
Author of Symbolic Computation of Differential Equivalences within the Research Papers-track
Share
x
Sun 13 Oct 10:44