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
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
10 total
Luca Bortolussi
Luca Bortolussi
Università di Trieste
Mirco Tribastone
Mirco Tribastone
IMT Lucca
Muffy Calder
Muffy Calder
Professor of Computing Science, University of Glasgow
Cheng Feng
Cheng Feng
Siemens
Guido Sanguinetti
Guido Sanguinetti
Reader in Informatics, University of Edinburgh
Carla Piazza
Carla Piazza
Professor of Computer Science, University of Udine
Nigel Thomas
Nigel Thomas
School of Computing, Newcastle University
Daniël Reijsbergen
Daniël Reijsbergen
Singapore University of Technology and Design