I am a member of the Institute for Computing Systems Architecture (ICSA), and the Compiler and Architecture Design (CArD) group.
My research interests include:
My PhD thesis is entitled, "Efficient Cross-architecture Hardware Virtualisation" and proposes methods for improving the performance of the virtualisation of hardware that is significantly different to the host machine's architecture.
I am a personal tutor for MSc students. If you want to get in touch to arrange a meeting, please e-mail me: firstname.lastname@example.org.
In the 2019/20 academic session, I will be teaching:
If you want to study for a PhD with me, please get in touch!
Throughout my research career, I have developed a number of different tools for simulation. I am the lead developer of the Captive cross-architecture virtualisation hypervisor, and I heavily contribute to the GenSim simulator generator platform. Recently, our research group has released our flagship high-speed GPU simulator.
For more details on our simulation tools, please visit: gensim.org.
InfOS is a complete operating system, developed for research purposes. Its aim is to provide an operating system built on modern programming paradigms, employing object oriented principles, modularity, and ease-of-use. It is used as the primary coursework component of the Operating Systems course, at the School of Informatics.
InfOS is available as open-source software on github: github.com/tspink/infos.
DPMT is the new project management system for MSc and undergraduate final-year projects. It is used by students and potential supervisors to propose projects, collect interest in projects and allocate students to those projects.