Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Luca Cardelli

Registered user since Thu 22 Oct 2015

Name:Luca Cardelli

Luca is a Fellow of the Royal Society, and ACM Fellow, and was awarded the Dahl-Nygaard Prize in 2007. He is a Royal Society Research Professor at the University of Oxford. Prior to that, he has worked at Bells Labs, Digital Equipment Corporation, and Microsoft Research Cambridge. He obtained his M.S. University of Pisa and his Ph.D. at the University of Edinburgh.

His research spans object-oriented foundations, type systems, module systems, distributed programming, spatial logics, semi-structured data, databases, computer architectures, and more recently, molecular programming and semantics, systems biology, biological models, and natural computability.

Affiliation:University of Oxford


Show activities from other conferences

SPLASH 2021-profile
View general profile