معرفی
Vashti Galpin is a Lecturer in the School of Informatics at the University of Edinburgh, affiliated with the Laboratory for Foundations of Computer Science (LFCS). She holds a BSc(Hons) and MSc from the University of the Witwatersrand (Wits) and a PhD from the University of Edinburgh. Her research focuses on formal methods for modeling complex systems, including provenance and data quality, programming languages, quantitative performance evaluation, and concurrency theory. She has also been recognized as a Cape Wine Master.
Education:
- BSc(Hons) in Computer Science (Wits)
- MSc in Computer Science (Wits)
- PhD in Computer Science (University of Edinburgh)
Research Interests: Galpin's work emphasizes hybrid systems modeling using process algebras like HYPE and Bio-PEPA. Her research spans collective adaptive systems, stochastic and deterministic modeling, and applications in energy systems, biological processes, and network performance. She has developed tools like the Scottish COVID-19 Data Curation Interface and contributed to frameworks for temporal data management in scientific curation.
Publications: Her recent work includes advancements in CARMA (Collective Adaptive Resource-Sharing Markovian Agents), spatial modeling techniques, and hybrid systems analysis. These studies highlight methodologies for analyzing systems with both continuous and discrete behaviors, with applications in smart grids, protein trafficking, and opportunistic networks.
Software & Tools: Galpin's contributions include prototypes for data curation (Scottish COVID-19 Interface) and provenance tracking in XML documents. She actively participates in conferences and workshops on formal methods and systems biology.
Labs/Teams: Her primary affiliation is with LFCS, where she collaborates on foundational research in theoretical computer science and applied systems modeling.
