conf.researchr.org / Luca Cardelli

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