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

Dominic Hughes | Synapse

DH

Dominic Hughes

Logic, programming, and type systems

University of California, Berkeley

About

Research focus

Logic, programming, and type systems

Impact

46 pubs · 725 cites · h-index 9

Affiliations

Work Experience

University of California, Berkeley

1990 - Present

King's College Hospital

2022 - 2022

Berkeley College

2017 - 2017

University of California, San Diego

2013 - 2017

School of International Relations

2014 - 2014

Publications