If you made any changes in Pure these will be visible here soon.

Personal profile

Research Interests

Theoretical computer science with a focus on provenance in the context of programming languages and databases; as well as quantitative process algebras for modelling dynamic concurrent processes, using formal semantics to allow mathematical reasoning about behaviour over time and space, applied in multiple domains including biology, collective adapative systems, security, networks and micro-architecture. Earlier 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 was a workpackage leader on the EU-funded QUANTICOL project, after which she focussed on modelling of security for networks and hardware. She is currently a member of the Skye project in the Principles of Provenance group.



Recent external collaboration on country/territory level. Dive into details by clicking on the dots or