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
SPLASH 2021
Keynote Speaker of Integrated Scientific Modeling and Lab Automation within the Keynotes-track
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
x
Fri 15 Oct 21:58