I am a Senior Lecturer (Associate Professor) in the School of Computing Science at the University of Glasgow. My research interests are in programming languages foundations and formal verification, especially leveraging session types. Within the School, I am a member of Formal Analysis, Theory and Algorithms (FATA). I am the PI of the EPSRC New Investigator Award grant Uni-pi: safety, adaptability and resilience in distributed ecosystems, by construction. I was Glasgow Site Leader of the European RISE Action Behavioural Application Program Interfaces (BehAPI) and I was a Co-I and a Postdoctoral Researcher of the UK EPSRC programme grant From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD).
I started my PhD with the School of Computing Science at the University of Glasgow in January 2022, under the supervision of Dr Ornela Dardha and Dr Simon Fowler. I was awarded my PhD in March 2026. I have previously completed a BSc and MSc in Computing Science at the University of Malta, where I focused on distributed computing, fault-tolerance, and consensus. My research has now shifted to session types for distributed computing protocols, with a specific focus on consensus algorithms.
I am a final year PhD student in the School of Computing Science at the University of Glasgow, under the supervision of Ornela Dardha and Simon Gay, where I also completed an MSc in Computer Science My research focuses on embedded systems, with particular emphasis on typestate-based verification and static analysis for real-time embedded C++ software. During my PhD, I developed Coconut and TimedCoconut, software tools that support the analysis of protocol correctness and platform-aware timing behaviour on embedded applications. More broadly, I am interested in programming languages, formal methods, and the static analysis of timing and energy behaviour in embedded systems.
I completed my MSc in Computer Systems Engineering at the University of Glasgow, where I worked on AI-based methods for photonic device design. I have recently started my PhD in Computing Science at the University of Glasgow under the supervision of Dr. Ornela Dardha. I am currently working on the security of lightweight IoT protocols, with an emphasis on formal modelling and protocol analysis.
Now in industry
Now in industry
MSci graduate / Now in industry
| Award Title | Awarded To | Awarded By |
|---|---|---|
| Science, She Says! Award | Ornela Dardha | Italian Ministry of Foreign Affairs and International Cooperation (2023) |
| PPDP 10 Year Most Influential Paper Award | Ornela Dardha | ACM's PPDP Steering Committee (2022) |
| MSci Class Prize 2021-22 for the most outstanding single honours student in Computing Science | Luke Gall | School of Computing Science (2022) |
| Best Italian PhD Thesis in Theoretical Computer Science 2015 | Ornela Dardha | Italian Chapter of EATCS (2015) |
CoLab had the privilege of hosting a booth titled "How Computers Talk" at the annual Glasgow Science Festival held at the Riverside Museum. Our aim was to introduce young children to the fascinating world of communication protocols through two exciting games: a treasure hunt tabletop game and a motorbike assembly game. Working collaboratively, young children eagerly devised protocols to assist our adventurous pirate in reaching the treasure. Along the way, they gained valuable insights into the concept of sequence charts and even had the opportunity to construct a motorbike using message sequences. Participating in the Glasgow Science Festival and being able to inspire and ignite young children’s curiosity in the field of computing science was a wonderful experience.
Twice during the annual Glasgow Science Festival, CoLab hosted a stand at the Riverside Museum, introducing the concept of communication protocols through a treasure hunt tabletop game. The primary audience was young children, and while the chocolatey prize helped to grab their attention, it was great to see them engage and have fun while working together to devise a protocol that would help our pirate reach the treasure. It was a rewarding experience to have the chance to inspire young people to pursue computing science.
