Ornela Dardha profile picture

Lecturer – University of Glasgow

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.

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.
word cloud of research interests

PhD Research Opportunities

If you are interested in persuing high-quality PhD reseach 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.

Research Projects

ABCD • May 2018 – May 2020
Co-Investigator within the UK EPSRC programme grant From Data Types to Session Types: A Basis for Concurrency and Distribution (EP/K034413/1).
BehAPI • March 2019 – March 2022
Site Leader of the European RISE Action on Behavioural Application Program Interfaces (EU HORIZON 2020, MSCA RISE, ID 778233).
BETTY • October 2012 – October 2016
Member of the European COST Action on Behavioural Types for Reliable Large-Scale Software Systems.
FOCUS • January 2011 – May 2014
Member of FOundations of Components-based Ubiquitous Systems, a joint research team between INRIA, France and University of Bologna, Italy.

Invited Talks and Participations

  • IMADA Invited speaker at the Department of Mathematics and Computer Science, University of Southern Denmark, Odense, Denmark (Jan 2020)
  • FOCUS Invited speaker at the FOCUS Team, University of Bologna, Bologna, Italy (Sep 2019)
  • Concurrency Workshop/S-REPLS'19 Invited speaker at Surrey Concurrency Workshop and the 12th South of England Regional Programming Language Seminar, University of Surrey, Guildford, UK (Jul 2019)
  • SPLV Summer School'19 Invited lecturer at the 1st Scottish Programming Languages and Verification Summer School, Glasgow, UK (Aug 2019)
  • BehAPI Summer School'19 Invited lecturer at the 1st BehAPI Summer School, Leicester, UK (Jul 2019)
  • University of Leicester Invited speaker at the Department of Informatics, University of Leicester, Leicester, UK (Nov 2018)
  • The Glasgow Crucible'18 Invited participant at the University of Glasgow Crucible 2018, Scotland, UK (Aug/Sep/Oct 2018)
  • WiL'18 Talk at Women in Logic Workshop, co-located with FLoC'18, Oxford, UK (Jul 2018)
  • INRIA/University of Nice Invited speaker at INRIA Sophia-Antipolis Méditerranée and University of Nice, Sophia-Antipolis, France (Nov 2017)
  • University of St. Andrews Invited speaker at University of St. Andrews, St. Andrews, UK (Jul 2017)
  • OPCT'17 Invited speaker at IFIP WG1.8 Workshop on Open Problems in Concurrency Theory, Vien, Austria (Jun 2017)
  • LFCS Invited speaker at the Laboratory for Foundations of Computer Science, University of Edinburgh, Edinburgh, UK (Apr 2017)
  • BETTY Summer School'16 Invited lecturer at the 2nd BETTY Summer School, Limassol, Cyprus (Jun-Jul 2016)
  • ICTCS'15 Invited speaker at the Award Ceremony for the Best Italian PhD Thesis in TCS 2015, Florence, Italy (Sep 201)
  • Practical Types Summer School'15 Invited lecturer at the SICSA Practical Types Summer School, University of St. Andrews, St. Andrews, UK (Aug 2015)
  • 3rd Heidelberg Laureate Forum Invited participant at the 3rd prestegious laureate forum, Heidelberg, Germany (Aug 2015)
  • PC Membership and Events

  • TyDe'21 6th International Workshop on Type-Driven Development @ICFP (PC Member)
  • ICALP'21 48th International Colloquium on Automata, Languages and Programming (Workshops Co-Chair)
  • COORDINATION'21 23nd International Conference on Coordination Models and Languages (PC Co-Chair)
  • EXPRESS/SOS'21 28th International Workshop on Expressiveness in Concurrency / 18th Workshop on Structural Operational Semantics (PC Co-Chair)
  • VEST'21 2nd Workshop on Verification of Session Types (PC Co-Chair)
  • PLMW@SPLASH'20 SPLASH 2020 Programming Languages Mentoring Workshop (Mentor)
  • VEST'20 1st Workshop on Verification of Session Types (Co-organiser and Host)
  • EXPRESS/SOS'20 27th International Workshop on Expressiveness in Concurrency / 17th Workshop on Structural Operational Semantics (PC Co-Chair)
  • DisCoTec'20 15th International Federated Conference on Distributed Computing Techniques (Workshops Co-Chair)
  • COORDINATION'20 22nd International Conference on Coordination Models and Languages (PC Member)
  • RADICAL'19 2nd Workshop on Recent Advances in Concurrency and Logic (PC Co-Chair)
  • iFM'19 15th International Conference on integrated Formal Methods (PC Member)
  • PPDP'19 21st International Symposium on Principles and Practice of Declarative Programming (PC Member)
  • ICE'19 12th Workshop on Interaction and Concurrency Experience (PC Member)
  • PLACES'19 11th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PC Member)
  • PADL'19 21st International Symposium on Practical Aspects of Declarative Languages (PC Member)
  • PPDP'18 20th International Symposium on Principles and Practice of Declarative Programming (PC Member)
  • ICE'18 11th Workshop Interaction and Concurrency Experience (PC Member)
  • SPLS'18 Scottish Programming Languages Seminar – Spring Edition (Co-organiser)
  • SICSA PhD Conference'17 Scottish Informatics and Computer Science Alliance PhD Conference – Poster and Demonstration Sessions (PC Member)
  • ICE'17 10th Workshop on Interaction and Concurrency Experience (PC Member)
  • EXPRESS/SOS'16 23rd International Workshop on Expressiveness in Concurrency / 13th Workshop on Structural Operational Semantics (PC Member)
  • ICE'16 9th Workshop on Interaction and Concurrency Experience (PC Member)
  • MSFP'16 6th Workshop on Mathematically Structured Functional Programming (PC Member)
  • SICSA PhD Conference'16 Scottish Informatics and Computer Science Alliance PhD Conference – Poster Sessions (PC Member)
  • ICE'15 8th Workshop on Interaction and Concurrency Experience (PC Member)
  • PLACES'15 8th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PC Member)
  • CoCo'14 1st Workshop on Communication-based Computation (Co-organiser)
  • SPLS'14 Scottish Programming Languages Seminar – Summer Edition (Co-organiser)
  • ICE'13 6th Workshop on Interaction and Concurrency Experience (PC Member)