Pulse Explorer nav.journalClub Débats Tendances Chercheurs

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

Download on theApp Store

Accueil Explorer nav.journalClub Tendances

⌘+K

Mark Bickford | Synapse

MB

Mark Bickford

Logic, programming, and type systems

Cornell University

About

Research focus

Logic, programming, and type systems

Impact

65 pubs · 701 cites · h-index 14

Affiliations

Work Experience

Cornell University

2001 - 2024

Gates Foundation

2018 - 2018

University of Luxembourg

2017 - 2017

Simons Foundation

2017 - 2017

New York University

2017 - 2017

Publications