Research output per year
Research output per year
Personal profile
Biography
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 was a member of the Principles of Provenance group where she contributed to the Skye Project and a Royal Society Short Industry Fellowship with NPL. She currently holds a grant from the IO Research Hub to investigate the performance modelling of blockchain with the goal of supporting self-governance.
Websites
Research Interests
Theoretical computer science with a current focus on performance modelling of blockchain.
This research uses quantitative process algebras for modelling dynamic concurrent processes, using formal semantics to allow mathematical reasoning about behaviour over time and space, and has been applied across multiple domains including biology, collective adapative systems, security and networks.
Recent work has also included provenance in the context of programming languages and databases.
Earlier research interests include computer science education at tertiary level, and women in computing.
Qualifications
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
Fingerprint
Dive into the research topics where Vashti Galpin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 5 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Towards validated performance modelling of Ouroboros blockchain protocols
Galpin, V., 30 Jul 2026, (Accepted/In press) Proceedings of the 7th International Conference on Mathematical Research for Blockchain Economy. (Lecture Notes in Operations Research).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
The Professors and Computer Science Researchers
Bono, V., Craig, A., Galpin, V., Hippler, R. K., Lang, C., Powley, W., Spertus, E., Thuraisingham, B. & Wisniewski, P., 10 Apr 2024, Rendering History: The Women of ACM-W. Childress Townsend, G. (ed.). ACM, p. 305-380 76 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
-
Tracking and viewing modifications in digital calibration certificates
Galpin, V., Smith, I. & Hippolyte, J.-L., 30 Mar 2023, In: Acta IMEKO. 12, 1, p. 1-7Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Language-Integrated Query for Temporal Data
Fowler, S., Galpin, V. & Cheney, J., 1 Dec 2022, Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences . Scholz, B. & Kameyama, Y. (eds.). ACM Association for Computing Machinery, p. 5-19 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Supporting provenance of digital calibration certificates with temporal databases
Galpin, V., Smith, I. & Hippolyte, J.-L., 1 Nov 2022, Proceedings of IMEKO TC6: First International Conference on Metrology and Digital Transformation (M4Dconf 2022). IMEKO-International Measurement Federation Secretariat, p. 1-4 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
Activities
- 1 Editorial activity
-
Journal of Logical and Algebraic Methods in Programming (Journal)
Galpin, V. (Guest editor), Milazzo, P. (Guest editor) & Monreale, A. (Guest editor)
25 Oct 2019Activity: Publication peer-review and editorial work types › Editorial activity
-
Future-proofing blockchain self-governance through performance modelling
Galpin, V. (Principal Investigator)
1/03/25 → 28/02/29
Project: Research
-
IceCert: Provenance and temporal data management for digital calibration certificates
Cheney, J. (Principal Investigator) & Galpin, V. (Co-investigator)
31/03/23 → 30/09/24
Project: Research
-
Where software meets hardware: Verifying performance impacts of micro-architecture vulnerability mitigations
Galpin, V. (Principal Investigator) & Aspinall, D. (Co-investigator)
UK central government bodies/local authorities, health and hospital authorities
1/06/19 → 31/03/20
Project: Research
Datasets
-
vcgalpin/dcc-xml-temporal: v0.1.1
Galpin, V. (Creator), Zenodo, 19 Jan 2023
DOI: 10.5281/zenodo.7551691, https://github.com/vcgalpin/dcc-xml-temporal/tree/v0.1.1
Dataset
-
vcgalpin/links-covid-curation: Initial release
Galpin, V. (Creator), Zenodo, 14 Oct 2022
DOI: 10.5281/zenodo.7199221, https://github.com/vcgalpin/links-covid-curation/
Dataset