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

David Parker | Synapse

DP

David Parker

Formal Methods in Verification

University of Oxford

About

Research focus

Formal Methods in Verification

Impact

277 pubs · 12,368 cites · h-index 55

Affiliations

Work Experience

University of Oxford

2007 - Present

Emory University

2023 - 2025

University of Georgia

2024 - 2025

University of Glasgow

2025 - 2025

Science Oxford

2024 - 2024

Publications