Pulse Entdecken nav.journalClub Debatten Trends Forschende

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

Start Entdecken nav.journalClub Trends

⌘+K

Luca Cardelli | Synapse

LC

Luca Cardelli

Logic, programming, and type systems

University of Oxford

About

Research focus

Logic, programming, and type systems

Impact

326 pubs · 19,657 cites · h-index 68

Affiliations

Work Experience

University of Oxford

2014 - Present

TU Wien

2023 - 2023

Istituto Universitario di Studi Superiori di Pavia

2023 - 2023

Technical University of Denmark

2023 - 2023

Science Oxford

2016 - 2021

Publications