Pulse Explorar nav.journalClub Debates Tendências Pesquisadores

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

Download on theApp Store

Início Explorar nav.journalClub Tendências

⌘+K

Derek Coleman | Synapse

DC

Derek Coleman

Logic, programming, and type systems

Oldham Council

About

Research focus

Logic, programming, and type systems

Impact

114 pubs · 1,731 cites · h-index 14

Affiliations

Work Experience

Oldham Council

2024 - Present

King's College London

1997 - 2012

Hewlett-Packard (United States)

1988 - 2007

Hewlett Packard Enterprise (United States)

2007 - 2007

Rochester Institute of Technology

2005 - 2005

Publications