Ornela Dardha profile picture

Lecturer – University of Glasgow

I am a Lecturer (Assistant Professor) at the School of Computing Science, University of Glasgow. I am a member of FATA research section and Athena SWAN team.

I am now a Co-Investigator, and before that (Jan 2014 - Apr 2018) a Postdoctoral Researcher within the EPSRC programme grant From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD).

I obtained my PhD in computer science in May 2014 from 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 in 2008 and my MSc in 2010 in computer science, both summa cum laude (110/110 e lode), from Sapienza University of Rome, Italy.

My detailed curriculum vitae can be found here.

Research Interests

  • Theoretical computer science, concurrency theory, programming languages and semantics.
  • Formal models for communication-based, concurrent and distributed systems.
  • Verification and reasoning techniques: type systems, logics, encodability and expressiveness analysis.
  • Static analysis for correctness, consistency, safety and liveness properties in distributed systems.
  • Design and implementation of tools for communication safety in mainstream programming languages.
word cloud of research interests

Research Projects

ABCD • January 2014 – Present
Co-Investigator, and previously Postdoctoral Researcher within 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 Behavioural Types for Reliable Large-Scale Software Systems.
FOCUS • January 2011 – December 2013
Member of FOundations of Components-based Ubiquitous Systems, a joint research team between INRIA, France and University of Bologna, Italy.

Selected Events

  • WiL'18 Talk at Women in Logic Workshop, co-located with FLoC'18, Oxford, UK (Jul 2018)
  • INRIA/Nice Invited talk at INRIA Sophia-Antipolis Méditerranée / University of Nice, Sophia-Antipolis, France (Nov 2017)
  • Univ. of St. Andrews Invited talk at University of St. Andrews, St. Andrews, UK (Jul 2017)
  • OPCT'17 Invited talk at IFIP WG1.8 Workshop on Open Problems in Concurrency Theory, Vien, Austria (Jun 2017)
  • Univ. of Edinburgh Invited talk at LFCS, 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 Ivited talk at the Award Ceremony for the Best Italian PhD Thesis in TCS 2015, Florence, Italy (Sep 2015)
  • Practical Types'15 Invited lecturer at the SICSA Summer School on Practical Types, University of St. Andrews, St. Andrews, UK (Aug 2015)
  • Heidelberg Laureate Forum Invited participant at the 3rd prestegious laureate forum, Heidelberg, Germany (Aug 2015)
  • Professional Services

  • 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)