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

Tony Hoare | Synapse

TH

Tony Hoare

Logic, programming, and type systems

University of Bristol

About

Research focus

Logic, programming, and type systems

Impact

344 pubs · 13,586 cites · h-index 32

Affiliations

Work Experience

University of Bristol

1986 - 2025

University of Cambridge

1999 - 2021

Bridge University

1999 - 2019

Microsoft Research (United Kingdom)

2000 - 2019

Cabot (United States)

2007 - 2016

Publications