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

Gregory J. Duck | Synapse

GJ

Gregory J. Duck

Logic, programming, and type systems

National University of Singapore

About

Research focus

Logic, programming, and type systems

Impact

55 pubs · 1,705 cites · h-index 16

Affiliations

Work Experience

National University of Singapore

2012 - Present

Royal Holloway University of London

2017 - 2017

Data61

2004 - 2009

The University of Melbourne

2003 - 2008

Publications