Dr Ornela Dardha
- Lecturer (School of Computing Science)
I am a Lecturer (Assistant 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 reserach 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.
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 – September 2022
- 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
If you are interested in persuing high-quality PhD research in the areas of programming languages, concurrency, logic, and verification, then please contact me.
Also, if you are in Glasgow you can come and visit our Concurrency Lab (CoLab) in the School of Computing Science, in rooms F142/F143. We want to grow!
You can find information about the application process here.
Professional activities & recognition
Prizes, awards & distinctions
- 2015: Best Italian PhD Thesis in Theoretical Computer Science (Italian Chapter of EATCS)
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.