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

Dan Craigen | Synapse

DC

Dan Craigen

Formal Methods in Verification

Carleton College

About

Research focus

Formal Methods in Verification

Impact

96 pubs · 1,373 cites · h-index 16

Affiliations

Work Experience

Carleton College

2020 - 2020

Carleton University

2015 - 2020

Communications Security Establishment

2013 - 2016

Golder Associates (Canada)

2006 - 2006

Research Canada

1996 - 1996

Publications