Dr Ornela Dardha
- Senior Lecturer (School of Computing Science)
+44 (0)141 330 1732
Room F143, Level F, 14 Lilybank Gardens, Glasgow, Glasgow City, Scotland, United Kingdom, G12 8RZ
I am a Senior Lecturer (Associate Professor) in the School of Computing Science at the University of Glasgow. Within the School, I am the Theme Lead of Programming Languages and a member of Formal Analysis, Theory and Algorithms (FATA).
I am Glasgow Site Leader of the European RISE Action Behavioural Application Program Interfaces (BehAPI) and previously 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 obtained my PhD (May 2014) in computing science from the University of Bologna, Italy, under the supervision of Davide Sangiorgi. My PhD thesis Type Systems for Distributed Programs: Components and Sessions won the prize for the Best Italian PhD Thesis in Theoretical Computer Science 2015, awarded by the Italian Chapter of EATCS. I obtained my BSc (2008) and MSc (2010) in computing science both summa cum laude (110/110 e lode), from Sapienza University of Rome, Italy.
You can find more about me on my personal website.
My research interests are in programming languages, concurrency, logic and verification.
My goal is to design and develop rigorous formal models and software tools for communication-safe, adaptable and resilient concurrent and distributed systems.
If you are interested in working with me or simply want to know more about my research, you are welcome to contact me.
Below is a list of projects that I am currently involved in (or have been in the past):
- EuroProofNet • October 2021 – October 2025
- Science Communication Coordinator of the European COST Action CA20111 on European Research Network on Formal Proofs
- BehAPI • March 2019 – December 2023
- Site Leader of the European RISE Action on Behavioural Application Program Interfaces (EU HORIZON 2020, MSCA RISE, ID 778233)
- ABCD • May 2018 – November 2020
- Co-Investigator of the UK EPSRC programme grant From Data Types to Session Types: A Basis for Concurrency and Distribution (EP/K034413/1)
- BETTY • October 2012 – October 2016
- Member of the European COST Action IC1201 on Behavioural Types for Reliable Large-Scale Software Systems
- FOCUS • January 2011 – May 2014
- Member of FOundations of Components-based Ubiquitous Systems, a joint research team between INRIA, France and University of Bologna, Italy
If you are interested in persuing high-quality PhD research in the areas of programming languages, concurrency, logic, and verification, you are welcome to contact me and check our Concurrency Lab (CoLab).
Also, if you are in Glasgow you can come and visit CoLab in rooms F142/F143 in the School of Computing Science.
You can find information about the application process here.
- Albalwe, Maram Mohammed S
Modelling and Analysing routing protocols for WSN using Bigraphs
- Alsubhi, Arwa Hameed
Interoperability of Typestate-based Tools
- Latifa, Magdalena
Mix and match - a modular approach to session-typed functional programming
- Nikitin, Ivan
Formal Protocols: Session Types At The Core Of Network Protocol Design
- Zalakain, Uma
Machine verification of typed process calculi
- THEORY OF COMPUTATION (H) COMPSCI4072
- PROGRAMMING LANGUAGES (H) COMPSCI4016
Professional activities & recognition
Prizes, awards & distinctions
- 2022: PPDP 10 Year Most Influential Paper Award (ACM)
- 2015: Best Italian PhD Thesis in Theoretical Computer Science (Italian Chapter of EATCS)
- 2021: COORDINATION Steering Committee
- 2021: Information and Computation: Guest Editor for Spe
- 2021 - 2023: Logical Methods in Computer Science: Guest Editor
Professional & learned societies
- 2019: Computer Science Committee Member, London Mathematical Society (UK Learned Society for Mathematics)
Below is a list of activitites that I am involved in (or have been in the past) within the School, Uni and beyond:
- LMS Computer Science Committe • November 2019 – Present
- Member of the London Mathematical Society Computer Science Committee, which advises Council on all matters relating to the development of links between mathematics and computer science.
- Mentoring Scheme • June 2017 – Present
- Founder and Leader of the SoCS-wide mentoring scheme to support PhD students in matters such as their working environment, progression, and work-life balance.
- Compumatch • March 2018 – Present
- Co-Leader of Compumatch developed for researchers across UoG to find collaborators in computing science.
- GWiCS • November 2018 – January 2020
- Co-Leader of the Glasgow Women in Computing Science (GWiCS) group, delivering a wide range of events and talks with women support at the heart.
- Athena SWAN • January 2017 – January 2020
- Member of Athena SWAN Self-Assessment Team responsible for Career Development and Progression of staff.