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

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

Download on theApp Store

홈 탐색 nav.journalClub 트렌드

⌘+K

Neil D. Evans | Synapse

ND

Neil D. Evans

Formal Methods in Verification

University of Warwick

About

Research focus

Formal Methods in Verification

Impact

164 pubs · 2,299 cites · h-index 26

Affiliations

Work Experience

University of Warwick

2000 - Present

University of California, Davis

2024 - 2024

Atomic Weapons Establishment

2006 - 2023

UK Dementia Research Institute

2019 - 2021

Cardiff University

2005 - 2020

Publications