University of Glasgow - Schools - School of Computing Science - Our staff - Dr Ornela Dardha Skip to main content Our staff Dr Ornela Dardha Mr Ethan Kelly Study Research Explore Connect Search icon Close menu icon Menu icon bar 1 Menu icon bar 2 Menu icon bar 3 Home Schools School of Computing Science Our staff Dr Ornela Dardha School of Computing Science Our staff Dr Ornela Dardha Mr Ethan Kelly 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 https://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: 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2010 Number of items: 31. 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 Oct 24 20:25:51 2021 BST. Jump to: Articles | Books | Book Sections | Edited Books | Conference Proceedings | Artefact Number of items: 31. 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 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 Oct 24 20:25:51 2021 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. Jakobsen, Mathias Steen Aliasing Control in an Object-Oriented Programming Language with Typestate Annotations Zalakain, Uma Machine verification of typed process calculi Teaching THEORY OF COMPUTATION (H) COMPSCI4072 PROGRAMMING LANGUAGES (H) COMPSCI4016 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. follow on Twitter Back to the top The University of Glasgow is a registered Scottish charity: Registration Number SC004401 School of Computing Science Contact us Sitemap Legal Accessibility statement Freedom of information FOI publication scheme Modern Slavery Statement Privacy and cookies Terms of use Current students MyGlasgow Students Staff MyGlasgow Staff STUDY Subjects A-Z Undergraduate Postgraduate Online study Short courses International students Student life Scholarships and funding Visit us / Open Days RESEARCH Research units A-Z Research opportunities A-Z Glasgow Research Beacons Research strategy & policies Research excellence Our research environment EXPLORE Meet World Changing Glasgow City of Glasgow Visit us Accessibility Maps and travel Facts & figures News Events Schools Research Institutes Colleges Services Library CONNECT Staff A-Z Information for our alumni Support us Business & innovation Community and public engagement Social Media listings Ask a student JOBS AT GLASGOW Current vacancies The University of Glasgow uses cookies for analytics and advertising. Find out more about our Privacy policy. privacy settings close We use cookies Necessary cookies Necessary cookies enable core functionality. The website cannot function properly without these cookies, and can only be disabled by changing your browser preferences. Analytics cookies Analytical cookies help us improve our website. We use Google Analytics. All data is anonymised. Switch analytics ON OFF Hotjar Hotjar helps us to understand and improve our users’ behaviour by visually representing their clicks, taps and scrolling. All data is anonymised. Switch hotjar ON OFF Marketing cookies Marketing cookies are used to ensure our marketing content is relevant, timely and interest based. They allow our approved partner to measure effectiveness and serve appropriate and personalised marketing messages on other websites based on your activity on glasgow.ac.uk Switch marketing cookies ON OFF Privacy policy close
