Prof. Dr. Jane Hillston

BCS Lovelace Medalist and pioneer of the PEPA (Performance Evaluation Process Algebra) formal language for quantitative performance modeling and verification of concurrent computer systems.

Official faculty profile ↗Research checked, not sponsored

Documented research interests and leadership

Research areas: Formal Methods, Stochastic Process Algebras, Performance Modelling, Systems Biology
Academic position: Head of School of Informatics, Fellow of the Royal Society of Edinburgh (FRSE)
Primary university source: Official directory entry ↗
Recruitment status: Not verified. Leadership profile does not imply active vacancies or assistantship availability.

Supervision and contact

Students interested in graduate or doctoral research supervision in Formal Methods, Stochastic Process Algebras, Performance Modelling are advised to consult formal department application channels.

Edinburgh guide ↗Computer-science subject guide ↗Mentorship ↗

Important verification note

Facts reflect official university directory records reviewed 2026-10-14. Faculty recruitment and admissions require formal application.

Reviewed 2026-10-14 · Editorial standards · Report an issue