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.

Publications

List by: Type | Date

Jump to: 2025 | 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2010

Number of items: 39.

2025

Le Brun, Matthew Alan, Fowler, Simon ORCID: https://orcid.org/0000-0001-5143-5475 and Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 (2025) Multiparty Session Types with a Bang! In: 34th European Symposium on Programming (ESOP 2025), Hamilton, Canada, 3–8 May 2025, pp. 125-153. ISBN 9783031911200 (doi: 10.1007/978-3-031-91121-7_6)

2024

Alsubhi, Arwa Hameed and Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 (2024) Coconut: Typestates for Embedded Systems. In: 26th International Conference on Coordination Models and Languages (COORDINATION 2024), Groningen, The Netherlands, 17-21 June 2024, (Accepted for Publication)

Cavoj, Samuel, Nikitin, Ivan, Perkins, Colin ORCID: https://orcid.org/0000-0002-3404-8964 and Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 (2024) Session Types for the Transport Layer: Towards an Implementation of TCP. In: 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2024), Luxembourg City, Luxembourg, 06 April 2024, (doi: 10.4204/EPTCS.401.3)

Le Brun, Matthew Alan and Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 (2024) MAGπ!: The Role of Replication in Typing Failure-Prone Communication. In: DisCoTec 2024, Gronigen, Netherlands, 17-21 June 2024, (Accepted for Publication)

2023

Fowler, Simon ORCID: https://orcid.org/0000-0001-5143-5475, Kokke, Wen, Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875, Lindley, Sam and Morris, J. Garrett (2023) Separating sessions smoothly. Logical Methods in Computer Science, 19(3), 3. (doi: 10.46298/lmcs-19(3:3)2023)

Le Brun, Matthew Alan and Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 (2023) MAGπ: Types for Failure-Prone Communication. In: 32nd European Symposium on Programming (ESOP23), Paris, France, 22-27 April 2023, pp. 363-391. (doi: 10.1007/978-3-031-30044-8_14)

2022

Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875, Giachino, Elena and Sangiorgi, Davide (2022) Session Types Revisited: A Decade Later. In: 24th International Symposium on Principles and Practice of Declarative Programming (PPDP 2022), Tbilisi, Georgia, 20-22 September 2022, p. 12. ISBN 9781450397032 (doi: 10.1145/3551357.3556676)

Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 and Pérez, Jorge A. (2022) Comparing type systems for deadlock freedom. Journal of Logical and Algebraic Methods in Programming, 124, 100717. (doi: 10.1016/j.jlamp.2021.100717)

2021

Jakobsen, Mathias, Ravier, Alice and Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 (2021) Papaya: Global Typestate Analysis of Aliased Objects. In: 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP 2021), Tallinn, Estonia, 06-08 Sep 2021, p. 19. ISBN 9781450386890 (doi: 10.1145/3479394.3479414)

Kokke, Wen and Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 (2021) Deadlock-Free Session Types in Linear Haskell. In: 14th ACM SIGPLAN International Symposium on Haskell (Haskell 2021), 26-27 Aug 2021, ISBN 9781450386159 (doi: 10.1145/3471874.3472979)

Fowler, Simon ORCID: https://orcid.org/0000-0001-5143-5475, Kokke, Wen, Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875, Lindley, Sam and Morris, J. Garrett (2021) Separating Sessions Smoothly. In: 32nd International Conference on Concurrency Theory (CONCUR 2021), 23-27 Aug 2021, 36:1-36:18. ISBN 9783959772037 (doi: 10.4230/LIPIcs.CONCUR.2021.36)

Harvey, Paul ORCID: https://orcid.org/0000-0003-1243-938X, Fowler, Simon ORCID: https://orcid.org/0000-0001-5143-5475, Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J. ORCID: https://orcid.org/0000-0003-3033-9091 (2021) Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. [Artefact]

Damiani, Ferruccio and Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 (Eds.) (2021) Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings. Series: Lecture notes in computer science. Springer: Cham. ISBN 9783030781415

Kokke, Wen and Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 (2021) Prioritise the Best Variation. In: 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, Valletta, Malta, 14-18 Jun 2021, pp. 100-119. ISBN 9783030780883 (doi: 10.1007/978-3-030-78089-0_6)

Zalakain, Uma and Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 (2021) π with Leftovers: a Mechanisation in Agda. In: 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, Valletta, Malta, 14-18 Jun 2021, pp. 157-174. ISBN 9783030780883 (doi: 10.1007/978-3-030-78089-0_9)

Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 and Castiglioni, Valentina (Eds.) (2021) Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, Paris, France (online event), 23rd August 2021. Open Publishing Association.

2020

Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 and Rot, Jurriaan (Eds.) (2020) Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020, and 17th Workshop on Structural Operational Semantics, Online, 31 August 2020. Series: Electronic proceedings in theoretical computer science. EPTCS.

Usov, Artem and Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 (2020) SFJ: an Implementation of Semantic Featherweight Java. In: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Valletta, Malta, 15-19 Jun 2020, pp. 153-168. ISBN 9783030500283 (doi: 10.1007/978-3-030-50029-0_10)

Voinea, A. Laura ORCID: https://orcid.org/0000-0003-4482-205X, Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J. ORCID: https://orcid.org/0000-0003-3033-9091 (2020) Typechecking Java Protocols with [St]Mungo. In: 40th IFIP WG 6.1 International Conference, FORTE 2020, Valletta, Malta, 15-19 Jun 2020, pp. 208-224. ISBN 9783030500856 (doi: 10.1007/978-3-030-50086-3_12)

2019

Voinea, A. Laura ORCID: https://orcid.org/0000-0003-4482-205X, Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J. ORCID: https://orcid.org/0000-0003-3033-9091 (2019) Resource Sharing via Capability-Based Multiparty Session Types. In: 15th International Conference on integrated Formal Methods (iFM 2019), Bergen, Norway, 02-06 Dec 2019, pp. 437-455. ISBN 9783030349677 (doi: 10.1007/978-3-030-34968-4_24)

2018

Kouzapas, Dimitrios, Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875, Perera, Roland ORCID: https://orcid.org/0000-0001-9249-9862 and Gay, Simon J. ORCID: https://orcid.org/0000-0003-3033-9091 (2018) Typechecking protocols with Mungo and StMungo: a session type toolchain for Java. Science of Computer Programming, 155, pp. 52-75. (doi: 10.1016/j.scico.2017.10.006)

Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J. ORCID: https://orcid.org/0000-0003-3033-9091 (2018) A New Linear Logic for Deadlock-Free Session-Typed Processes. In: 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Thessaloniki, Greece, 16-19 Apr 2018, pp. 91-109. (doi: 10.1007/978-3-319-89366-2_5)

2017

Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875, Giachino, Elena and Sangiorgi, Davide (2017) Session types revisited. Information and Computation, 256, pp. 253-286. (doi: 10.1016/j.ic.2017.06.002)

Scalas, Alceste, Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875, Hu, Raymond and Yoshida, Nobuko (2017) A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. In: 31st European Conference on Object-Oriented Programming (ECOOP 2017), Barcelona, Spain, 18-23 Jun 2017, 24:1-24:31. ISBN 9783959770354 (doi: 10.4230/LIPIcs.ECOOP.2017.24)

Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875, Gay, Simon J. ORCID: https://orcid.org/0000-0003-3033-9091, Kouzapas, Dimitrios, Perera, Roly ORCID: https://orcid.org/0000-0001-9249-9862, Voinea, A. Laura ORCID: https://orcid.org/0000-0003-4482-205X and Weber, Florian (2017) Mungo and StMungo: tools for typechecking protocols in Java. In: Gay, Simon and Ravara, Antonio (eds.) Behavioural Types: from Theory to Tools. Series: River Publishers Series in Automation, Control and Robotics. River Publishers, pp. 309-328. ISBN 9788793519824

Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875, Gorla, Daniele and Varacca, Daniele (2017) Semantic subtyping for objects and classes. Computer Journal, 60(5), pp. 636-656. (doi: 10.1093/comjnl/bxw080)

2016

Kouzapas, Dimitrios, Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875, Perera, Roly ORCID: https://orcid.org/0000-0001-9249-9862 and Gay, Simon J. ORCID: https://orcid.org/0000-0003-3033-9091 (2016) Typechecking Protocols with Mungo and StMungo. In: 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016), Edinburgh, UK, 5-7 Sept 2016, pp. 146-159. ISBN 9781450341486 (doi: 10.1145/2967973.2968595)

Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 (2016) Type Systems for Distributed Programs: Components and Sessions. Series: Atlantis studies in computing, 7. Atlantis Press (Springer). ISBN 9789462392038 (doi: 10.2991/978-94-6239-204-5)

2015

Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 (2015) Type systems for distributed programs: session communication. Bulletin of the EATCS, 117, pp. 70-99.

Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 and Perez, Jorge A. (2015) Comparing deadlock-free session typed processes. In: Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, Madrid, Spain, 31 Aug 2015, (doi: 10.4204/EPTCS.190)

2014

Bernardi, Giovanni, Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875, Gay, Simon ORCID: https://orcid.org/0000-0003-3033-9091 and Kouzapas, Dimitrios (2014) On duality relations for session types. In: 9th International Symposium on Trustworthy Global Computing (TGC) 2014, Rome, Italy, 5-6 Sep 2014, pp. 51-66. ISBN 9783662459164 (doi: 10.1007/978-3-662-45917-1_4)

Carbone, Marco, Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 and Montesi, Fabrizio (2014) Progress as compositional lock-freedom. In: COORDINATION 2014, Berlin, Germany, 3-5 Jun 2014, pp. 49-64. (doi: 10.1007/978-3-662-43376-8_4)

Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 (2014) Recursive session types revisited. In: BEAT 2014: Third International Workshop on Behavioural Types, Rome, Italy, 01 Sep 2014, pp. 27-34. (doi: 10.4204/EPTCS.162.4)

2013

Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875, Giachino, Elena and Lienhardt, Michaël (2013) A type system for components. In: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, pp. 167-181. (doi: 10.1007/978-3-642-40561-7_12)

Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875, Gorla, Daniele and Varacca, Daniele (2013) Semantic Subtyping for Objects and Classes. In: Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Florence, Italy, 3-5 Jun 2013, pp. 66-82. (doi: 10.1007/978-3-642-38592-6_6)

2012

Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875, Giachino, Elena and Sangiorgi, Davide (2012) Session types revisited. In: 14th International Symposium on Principles and Practice of Declarative Programming, Leuven, Belgium, 19-21 Sep 2012, pp. 139-149. (doi: 10.1145/2370776.2370794)

2010

Dardha, O. ORCID: https://orcid.org/0000-0001-9927-7875, Gorla, D. and Varacca, D. (2010) Semantic Subtyping for Objects and Classes. In: 8th International Conference on the Principles and Practice of Programming in Java (PPPJ 2010), Vienna, Austria, 16 Sep 2010, p. 101382.

This list was generated on Sun Jun 15 03:57:36 2025 BST.

Number of items: 39.

Articles

Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 (2015) Type systems for distributed programs: session communication. Bulletin of the EATCS, 117, pp. 70-99.

Books

Book Sections

Edited Books

Conference Proceedings

Fowler, Simon ORCID: https://orcid.org/0000-0001-5143-5475, Kokke, Wen, Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875, Lindley, Sam and Morris, J. Garrett (2021) Separating Sessions Smoothly. In: 32nd International Conference on Concurrency Theory (CONCUR 2021), 23-27 Aug 2021, 36:1-36:18. ISBN 9783959772037 (doi: 10.4230/LIPIcs.CONCUR.2021.36)

Voinea, A. Laura ORCID: https://orcid.org/0000-0003-4482-205X, Dardha, Ornela ORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J. ORCID: https://orcid.org/0000-0003-3033-9091 (2019) Resource Sharing via Capability-Based Multiparty Session Types. In: 15th International Conference on integrated Formal Methods (iFM 2019), Bergen, Norway, 02-06 Dec 2019, pp. 437-455. ISBN 9783030349677 (doi: 10.1007/978-3-030-34968-4_24)

Artefact

This list was generated on Sun Jun 15 03:57:36 2025 BST.

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.

Alsubhi, Arwa Hameed
Interoperability of Typestate-based Tools
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.

We use cookies

Necessary cookies

Analytics cookies

Clarity