Dr Ornela Dardha

  • Lecturer (School of Computing Science)

Biography

I am a Lecturer (Assistant Professor) at the School of Computing Science, University of Glasgow. Within the School, I am a member of the Formal Analysis, Theory and Algorithms research section, and Programming Language Foundations and Formal Methods research themes. I am a member of the Athena SWAN self-assessment team.

My research goal is to achieve safety, adaptability and resilience in real-world software systems, by design, by leveraging rigorous formal methods and verification techniques

I am a Co-Investigator within the UK EPSRC programme grant From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD), and a Site Leader of the European RISE Action Behavioural Application Program Interfaces (BehAPI).

I was a Postdoctoral Researcher (Jan 2014 - Apr 2018) within the ABCD project, at the University of Glasgow. Previously, I obtained my PhD 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: 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012
Number of items: 18.

2019

Voinea, A. L., Dardha, O. and Gay, S. (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, (Accepted for Publication)

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,

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)

This list was generated on Fri Nov 15 06:23:09 2019 GMT.
Jump to: Articles | Books | Book Sections | Conference Proceedings | Artefact
Number of items: 18.

Articles

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

Conference Proceedings

Voinea, A. L., Dardha, O. and Gay, S. (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, (Accepted for Publication)

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,

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)

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 Fri Nov 15 06:23:09 2019 GMT.

Grants


Supervision

    I am currently looking for students who wish to pursue 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 here.

  • Voinea, Laura
    Programming Languages and Environments with Session Types

Teaching


Additional information



photo

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