Pulse 탐색 nav.journalClub 토론 트렌드 연구자

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

Download on theApp Store

홈 탐색 nav.journalClub 트렌드

⌘+K

Cormac Flanagan | Synapse

CF

Cormac Flanagan

Logic, programming, and type systems

University of Tasmania

About

Research focus

Logic, programming, and type systems

Impact

135 pubs · 8,574 cites · h-index 46

Affiliations

Work Experience

University of Tasmania

2022 - 2022

University of California, Santa Cruz

2004 - 2020

University of California System

2018 - 2019

Microsoft (United States)

2002 - 2003

Hewlett-Packard (United States)

2003 - 2003

Publications