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) at the School of Computing Science at the University of Glasgow. Within the School, I am leader of Programming Languages theme and I am Glasgow site leader of the European RISE Action Behavioural Application Program Interfaces (BehAPI).

I was Co-Investigator (May 2018 - May 2020), and before that postdoctoral researcher (Jan 2014 - Apr 2018) within the UK EPSRC programme grant From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD).

I obtained my PhD (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 information about me on my personal website.

Research interests

  • Programming languages, semantics, concurrency.
  • Formal methods and verification techniques: type systems, logic, encodings.
  • Design and implementation of software tools for communication-safe systems programming.

Publications

Selected publications

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)

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)

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. , 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. (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)

All publications

List by: Type | Date

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

2020

Usov, A. and Dardha, O. (2020) SFJ: an implementation of semantic featherweight Java. In: Bliudze, S. and Bocchi, L. (eds.) Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings. Series: Lecture notes in computer science (12134). Springer: Cham, 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: Gotsman, A. and Sokolova, A. (eds.) Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, Jun. Series: Lecture notes in computer science (12136). Springer: Cham, 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. Lecture Notes in Computer Science, 11918, pp. 437-455. (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 Tue Apr 20 00:15:11 2021 BST.
Jump to: Articles | Books | Book Sections | Conference Proceedings | Artefact
Number of items: 21.

Articles

Voinea, A. L. , Dardha, O. and Gay, S. J. (2019) Resource sharing via capability-based multiparty session types. Lecture Notes in Computer Science, 11918, pp. 437-455. (doi: 10.1007/978-3-030-34968-4_24)

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

Usov, A. and Dardha, O. (2020) SFJ: an implementation of semantic featherweight Java. In: Bliudze, S. and Bocchi, L. (eds.) Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings. Series: Lecture notes in computer science (12134). Springer: Cham, 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: Gotsman, A. and Sokolova, A. (eds.) Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, Jun. Series: Lecture notes in computer science (12136). Springer: Cham, pp. 208-224. ISBN 9783030500856 (doi:10.1007/978-3-030-50086-3_12)

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

Conference Proceedings

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

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 Tue Apr 20 00:15:11 2021 BST.

Grants

Supervision

If you are interested in pursuing high-quality PhD research in the areas of programming languages, formal methods, logic, and program verification, then please contact me. You can find information about the application process on the information for prospective students pages.

Teaching


photo