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

Import to contacts

ORCID iDhttps://orcid.org/0000-0001-9927-7875

Biography

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 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 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: 40.

2025

Le Brun, Matthew Alan, Fowler, Simon ORCID logoORCID: https://orcid.org/0000-0001-5143-5475 and Dardha, Ornela ORCID logoORCID: 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 logoORCID: 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 logoORCID: https://orcid.org/0000-0002-3404-8964 and Dardha, Ornela ORCID logoORCID: 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 logoORCID: 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

Tang, Wenhao, Hillerström, Daniel, McKinna, James, Steuwer, Michel, Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875, Fu, Rongxiao and Lindley, Sam (2023) Structural Subtyping as Parametric Polymorphism. Proceedings of the ACM on Programming Languages, 7, pp. 1093-1121. 260. (doi: 10.1145/3622836)

Fowler, Simon ORCID logoORCID: https://orcid.org/0000-0001-5143-5475, Kokke, Wen, Dardha, Ornela ORCID logoORCID: 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 logoORCID: 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 logoORCID: 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 logoORCID: 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 logoORCID: 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 logoORCID: 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 logoORCID: https://orcid.org/0000-0001-5143-5475, Kokke, Wen, Dardha, Ornela ORCID logoORCID: 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 logoORCID: https://orcid.org/0000-0003-1243-938X, Fowler, Simon ORCID logoORCID: https://orcid.org/0000-0001-5143-5475, Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J. ORCID logoORCID: https://orcid.org/0000-0003-3033-9091 (2021) Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. [Artefact]

Harvey, Paul ORCID logoORCID: https://orcid.org/0000-0003-1243-938X, Fowler, Simon ORCID logoORCID: https://orcid.org/0000-0001-5143-5475, Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J. ORCID logoORCID: https://orcid.org/0000-0003-3033-9091 (2021) Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. In: 35th European Conference on Object Oriented Programming (ECOOP 2021), 12-17 Jul 2021, (doi: 10.4230/LIPIcs.ECOOP.2021.10)

Damiani, Ferruccio and Dardha, Ornela ORCID logoORCID: 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 logoORCID: 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 logoORCID: 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 logoORCID: 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 logoORCID: 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 logoORCID: 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 logoORCID: https://orcid.org/0000-0003-4482-205X, Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J. ORCID logoORCID: 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 logoORCID: https://orcid.org/0000-0003-4482-205X, Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J. ORCID logoORCID: 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 logoORCID: https://orcid.org/0000-0001-9927-7875, Perera, Roland ORCID logoORCID: https://orcid.org/0000-0001-9249-9862 and Gay, Simon J. ORCID logoORCID: 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 logoORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J. ORCID logoORCID: 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 logoORCID: 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 logoORCID: 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 logoORCID: https://orcid.org/0000-0001-9927-7875, Gay, Simon J. ORCID logoORCID: https://orcid.org/0000-0003-3033-9091, Kouzapas, Dimitrios, Perera, Roly ORCID logoORCID: https://orcid.org/0000-0001-9249-9862, Voinea, A. Laura ORCID logoORCID: 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 logoORCID: 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)

Scalas, Alceste, Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875, Hu, Raymond and Yoshida, Nobuko (2017) A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). [Artefact]

2016

Kouzapas, Dimitrios, Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875, Perera, Roly ORCID logoORCID: https://orcid.org/0000-0001-9249-9862 and Gay, Simon J. ORCID logoORCID: 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 logoORCID: 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 logoORCID: 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 logoORCID: 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 logoORCID: https://orcid.org/0000-0001-9927-7875, Gay, Simon ORCID logoORCID: 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 logoORCID: 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 logoORCID: 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 logoORCID: 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 logoORCID: 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 logoORCID: 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 logoORCID: 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 Fri Jul 18 21:28:18 2025 BST.
Jump to: Articles | Books | Book Sections | Edited Books | Conference Proceedings | Artefact
Number of items: 40.

Articles

Tang, Wenhao, Hillerström, Daniel, McKinna, James, Steuwer, Michel, Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875, Fu, Rongxiao and Lindley, Sam (2023) Structural Subtyping as Parametric Polymorphism. Proceedings of the ACM on Programming Languages, 7, pp. 1093-1121. 260. (doi: 10.1145/3622836)

Fowler, Simon ORCID logoORCID: https://orcid.org/0000-0001-5143-5475, Kokke, Wen, Dardha, Ornela ORCID logoORCID: 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)

Dardha, Ornela ORCID logoORCID: 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)

Kouzapas, Dimitrios, Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875, Perera, Roland ORCID logoORCID: https://orcid.org/0000-0001-9249-9862 and Gay, Simon J. ORCID logoORCID: 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 logoORCID: 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)

Dardha, Ornela ORCID logoORCID: 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)

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

Books

Dardha, Ornela ORCID logoORCID: 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)

Book Sections

Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875, Gay, Simon J. ORCID logoORCID: https://orcid.org/0000-0003-3033-9091, Kouzapas, Dimitrios, Perera, Roly ORCID logoORCID: https://orcid.org/0000-0001-9249-9862, Voinea, A. Laura ORCID logoORCID: 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

Edited Books

Damiani, Ferruccio and Dardha, Ornela ORCID logoORCID: 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

Dardha, Ornela ORCID logoORCID: 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.

Dardha, Ornela ORCID logoORCID: 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.

Conference Proceedings

Le Brun, Matthew Alan, Fowler, Simon ORCID logoORCID: https://orcid.org/0000-0001-5143-5475 and Dardha, Ornela ORCID logoORCID: 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)

Alsubhi, Arwa Hameed and Dardha, Ornela ORCID logoORCID: 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 logoORCID: https://orcid.org/0000-0002-3404-8964 and Dardha, Ornela ORCID logoORCID: 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 logoORCID: 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)

Le Brun, Matthew Alan and Dardha, Ornela ORCID logoORCID: 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)

Dardha, Ornela ORCID logoORCID: 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)

Jakobsen, Mathias, Ravier, Alice and Dardha, Ornela ORCID logoORCID: 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 logoORCID: 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 logoORCID: https://orcid.org/0000-0001-5143-5475, Kokke, Wen, Dardha, Ornela ORCID logoORCID: 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 logoORCID: https://orcid.org/0000-0003-1243-938X, Fowler, Simon ORCID logoORCID: https://orcid.org/0000-0001-5143-5475, Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J. ORCID logoORCID: https://orcid.org/0000-0003-3033-9091 (2021) Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. In: 35th European Conference on Object Oriented Programming (ECOOP 2021), 12-17 Jul 2021, (doi: 10.4230/LIPIcs.ECOOP.2021.10)

Kokke, Wen and Dardha, Ornela ORCID logoORCID: 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 logoORCID: 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)

Usov, Artem and Dardha, Ornela ORCID logoORCID: 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 logoORCID: https://orcid.org/0000-0003-4482-205X, Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J. ORCID logoORCID: 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)

Voinea, A. Laura ORCID logoORCID: https://orcid.org/0000-0003-4482-205X, Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J. ORCID logoORCID: 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)

Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875 and Gay, Simon J. ORCID logoORCID: 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)

Scalas, Alceste, Dardha, Ornela ORCID logoORCID: 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)

Kouzapas, Dimitrios, Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875, Perera, Roly ORCID logoORCID: https://orcid.org/0000-0001-9249-9862 and Gay, Simon J. ORCID logoORCID: 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 logoORCID: 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)

Bernardi, Giovanni, Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875, Gay, Simon ORCID logoORCID: 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 logoORCID: 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 logoORCID: 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)

Dardha, Ornela ORCID logoORCID: 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 logoORCID: 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)

Dardha, Ornela ORCID logoORCID: 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)

Dardha, O. ORCID logoORCID: 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.

Artefact

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

Scalas, Alceste, Dardha, Ornela ORCID logoORCID: https://orcid.org/0000-0001-9927-7875, Hu, Raymond and Yoshida, Nobuko (2017) A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). [Artefact]

This list was generated on Fri Jul 18 21:28:18 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 2027
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.

Teaching

THEORY OF COMPUTATION (H) COMPSCI4072

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.
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.
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.
LMS Computer Science Committee • November 2019 – May 2025
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.
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.

photo

Dr Ornela Dardha on Twitter