Dr Ornela Dardha
- Senior Lecturer (School of Computing Science)
telephone:
+44 (0)141 330 1732
email:
Ornela.Dardha@glasgow.ac.uk
Room F143, Level F, 14 Lilybank Gardens, Glasgow, Glasgow City, Scotland, United Kingdom, G12 8RZ
Biography
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.
Research interests
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.
Grants
Below is a list of projects that I am currently involved in (or have been in the past):
- Uni-pi • October 2023 – September 2026
- Principal Investigator of the EPSRC New Investigator Award Uni-pi: safety, adaptability and resilience in distributed ecosystems, by construction (EP/X027309/1)
- 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)
Supervision
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 - Weston, Olivia
Co-contextual typing for behavioural type systems
Teaching
- THEORY OF COMPUTATION (H) COMPSCI4072
- PROGRAMMING LANGUAGES (H) COMPSCI4016
Professional activities & recognition
Prizes, awards & distinctions
- 2023: Science, She Says! (Italian Ministry of Foreign Affairs and International Cooperation)
- 2022: PPDP 10 Year Most Influential Paper Award (ACM)
- 2015: Best Italian PhD Thesis in Theoretical Computer Science (Italian Chapter of EATCS)
Editorial boards
- 2021: COORDINATION Steering Committee
- 2021: Guest Editor for Information and Computation
- 2021 - 2023: Guest Editor for Logical Methods in Computer Science
Professional & learned societies
- 2019: Computer Science Committee Member, London Mathematical Society (UK Learned Society for Mathematics)
Additional information
Below is a list of activitites that I am currently involved in (or have been in the past):
- COORDINATION Steering Committee • June 2021 – Present
- Member of the Steering Committee of the IFIP WG6.1 International Conference on Coordination Models and Languages.
- 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.
- SPLI Steering Committee • September 2022 – Present
- Member of the Steering Committee of the Scottish Programming Languages Institute, which co-ordinates community events to enhance programming languages research in Scotland.
- EuroProofNet • October 2021 – December 2023
- 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)
- 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.