Dr Ornela Dardha

  • Lecturer (School of Computing Science)

telephone: +44 (0)141 330 1732
email: Ornela.Dardha@glasgow.ac.uk

Room F143 Level F, School of Computing Science, Sir Alwyn Williams Building, 17 Lilybank Gardens, Glasgow, G12 8RZ

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

Biography

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.

Research interests

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.

If you are interested in working with me or simply want to know more about my research, you are welcome to contact me, and also check our CoLab.

Publications

List by: Type | Date

Jump to: 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2010
Number of items: 32.

2022

Dardha, O. and Pérez, J. 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, M., Ravier, A. and Dardha, O. (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, W. and Dardha, O. (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, S. , Kokke, W., Dardha, O. , Lindley, S. and Morris, J. G. (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, P. , Fowler, S. , Dardha, O. and Gay, S. J. (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)

Harvey, P. , Fowler, S. , Dardha, O. and Gay, S. J. (2021) Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. [Artefact]

Damiani, F. and Dardha, O. (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, W. and Dardha, O. (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, U. and Dardha, O. (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, O. and Castiglioni, V. (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, O. and Rot, J. (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, A. and Dardha, O. (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. L. , Dardha, O. and Gay, S. J. (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. L. , Dardha, O. and Gay, S. J. (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, D., Dardha, O. , Perera, R. and Gay, S. J. (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, O. and Gay, S. J. (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, O. , Giachino, E. and Sangiorgi, D. (2017) Session types revisited. Information and Computation, 256, pp. 253-286. (doi: 10.1016/j.ic.2017.06.002)

Scalas, A., Dardha, O. , Hu, R. and Yoshida, N. (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, O. , Gay, S. J. , Kouzapas, D., Perera, R. , Voinea, A. L. and Weber, F. (2017) Mungo and StMungo: tools for typechecking protocols in Java. In: Gay, S. and Ravara, A. (eds.) Behavioural Types: from Theory to Tools. Series: River Publishers Series in Automation, Control and Robotics. River Publishers, pp. 309-328. ISBN 9788793519824

Dardha, O. , Gorla, D. and Varacca, D. (2017) Semantic subtyping for objects and classes. Computer Journal, 60(5), pp. 636-656. (doi: 10.1093/comjnl/bxw080)

Scalas, A., Dardha, O. , Hu, R. and Yoshida, N. (2017) A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). [Artefact]

2016

Kouzapas, D., Dardha, O. , Perera, R. and Gay, S. J. (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, O. (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, O. (2015) Type systems for distributed programs: session communication. Bulletin of the EATCS, 117, pp. 70-99.

Dardha, O. and Perez, J. 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, G., Dardha, O. , Gay, S. and Kouzapas, D. (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, M., Dardha, O. and Montesi, F. (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, O. (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, O. , Giachino, E. and Lienhardt, M. (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, O. , Gorla, D. and Varacca, D. (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, O. , Giachino, E. and Sangiorgi, D. (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. , 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 Jul 3 22:37:57 2022 BST.
Number of items: 32.

Articles

Dardha, O. and Pérez, J. 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, D., Dardha, O. , Perera, R. and Gay, S. J. (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, O. , Giachino, E. and Sangiorgi, D. (2017) Session types revisited. Information and Computation, 256, pp. 253-286. (doi: 10.1016/j.ic.2017.06.002)

Dardha, O. , Gorla, D. and Varacca, D. (2017) Semantic subtyping for objects and classes. Computer Journal, 60(5), pp. 636-656. (doi: 10.1093/comjnl/bxw080)

Dardha, O. (2015) Type systems for distributed programs: session communication. Bulletin of the EATCS, 117, pp. 70-99.

Books

Dardha, O. (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, O. , Gay, S. J. , Kouzapas, D., Perera, R. , Voinea, A. L. and Weber, F. (2017) Mungo and StMungo: tools for typechecking protocols in Java. In: Gay, S. and Ravara, A. (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, F. and Dardha, O. (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, O. and Castiglioni, V. (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, O. and Rot, J. (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

Jakobsen, M., Ravier, A. and Dardha, O. (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, W. and Dardha, O. (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, S. , Kokke, W., Dardha, O. , Lindley, S. and Morris, J. G. (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, P. , Fowler, S. , Dardha, O. and Gay, S. J. (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, W. and Dardha, O. (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, U. and Dardha, O. (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, A. and Dardha, O. (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. L. , Dardha, O. and Gay, S. J. (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. L. , Dardha, O. and Gay, S. J. (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, O. and Gay, S. J. (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, A., Dardha, O. , Hu, R. and Yoshida, N. (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, D., Dardha, O. , Perera, R. and Gay, S. J. (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, O. and Perez, J. 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, G., Dardha, O. , Gay, S. and Kouzapas, D. (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, M., Dardha, O. and Montesi, F. (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, O. (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, O. , Giachino, E. and Lienhardt, M. (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, O. , Gorla, D. and Varacca, D. (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, O. , Giachino, E. and Sangiorgi, D. (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. , 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, P. , Fowler, S. , Dardha, O. and Gay, S. J. (2021) Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. [Artefact]

Scalas, A., Dardha, O. , Hu, R. and Yoshida, N. (2017) A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). [Artefact]

This list was generated on Sun Jul 3 22:37:57 2022 BST.

Grants

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

Supervision

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)

Additional information

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.