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

Cristiano Calcagno | Synapse

CC

Cristiano Calcagno

Logic, programming, and type systems

Meta (United States)

About

Research focus

Logic, programming, and type systems

Impact

76 pubs · 4,601 cites · h-index 33

Affiliations

Work Experience

Meta (United States)

2015 - 2015

ETH Zurich

2013 - 2014

Monsanto (United Kingdom)

2014 - 2014

Imperial College London

2003 - 2014

Union Bank of Switzerland

2013 - 2013

Publications