Edinburgh Research Explorer

Dr Vashti Galpin

Senior Researcher

Profile photo

Research Interests

Theoretical computer science with a focus on quantitative process algebras which are compact models of concurrent behaviour equipped with formal semantics to allow mathematical reasoning about behaviour over time and space. Previous research interests include computer science education at tertiary level, and women in computing.


PhD (Computer Science), 1998, University of Edinburgh
MSc (Computer Science), 1993, University of the Witwatersrand
BSc Hons (Computer Science) 1989, University of the Witwatersrand
BSc (Mathematics and Computer Science), 1987, University of the Witwatersrand


Dr Galpin completed in her PhD at the University of Edinburgh in 1998. She received scholarships from the Patrick and Margaret Flanagan Trust, the South African Foundation for Research Development and Overseas Research Students Awards Scheme to support her studies. She was awarded a one-year postdoctoral fellowship by the Foundation for Research Development (now the National Research Foundation) and then took up a lectureship in the School of Computer Science at the University of the Witwatersrand in Johannesburg. In 2007, she became an Honorary Fellow in the School of Informatics at the University of Edinburgh, followed by various research positions. She is currently a Senior Research Fellow on the EU-funded QUANTICOL project.


Research outputs

  1. Statistical analysis of CARMA models: an advanced tutorial

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Formal modelling of software defined networking

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Mesoscopic modelling of pedestrian movement using Carma and its tools

    Research output: Contribution to journalArticle

View all (32) »

ID: 3488867