Jane Hillston
Scholar

Jane Hillston

Google Scholar ID: 4hUZomAAAAAJ
Professor of Quantitative Modelling, University of Edinburgh
Computer ScienceQuantitative VerificationPerformance EvaluationFormal Methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,210
 
H-index
16
 
i10-index
34
 
Publications
20
 
Co-authors
18
list available
Contact
EmailJane.Hillston@ed.ac.uk
Publications
3 items
Committee Configuration Optimization for Parallel Byzantine Consensus in a Trusted Execution Environment
2026
Cited
0
Optimizing View Change for Byzantine Fault Tolerance in Parallel Consensus
2026
Cited
0
A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes
2025
Cited
0
Resume (English only)
Academic Achievements
  • Recipient of the inaugural Roger Needham Award in 2004
  • Awarded the Suffrage Science Award in 2018
  • Appointed MBE in the King's Birthday Honours in 2023
  • Received the Lovelace Medal from the British Computer Society in 2023
  • Fellow of the Royal Society
  • Fellow of the Royal Society of Edinburgh
  • Member of Academia Europaea
Co-authors
18 total
Co-author 1
Co-author 1
Luca Bortolussi
Luca Bortolussi
Università di Trieste
Co-author 3
Co-author 3
Mirco Tribastone
Mirco Tribastone
IMT Lucca
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Muffy Calder
Muffy Calder
Professor of Computing Science, University of Glasgow
Cheng Feng
Cheng Feng
Siemens