Pulse Explorar nav.journalClub Debates Tendencias Investigadores

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

Download on theApp Store

Inicio Explorar nav.journalClub Tendencias

⌘+K

Jane Hillston | Synapse

JH

Jane Hillston

Formal Methods in Verification

University of Edinburgh

About

Research focus

Formal Methods in Verification

Impact

302 pubs · 7,028 cites · h-index 38

Affiliations

Work Experience

University of Edinburgh

1991 - Present

Health Affairs

2025 - 2025

Google (United States)

2023 - 2023

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

2015 - 2018

University of Urbino

2016 - 2016

Publications