Ornela Dardha profile picture

Postdoctoral Researcher – University of Glasgow

I am a Postdoctoral Researcher at the School of Computing Science, University of Glasgow working with Simon Gay in the UK EPSRC programme grant From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD). Within the School, I am a member of Formal Analysis, Theory and Algorithms (FATA) research section.

Previously, I obtained my PhD in computer science in 2014 from University of Bologna, under the supervision of Davide Sangiorgi. My PhD thesis titled 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 the European Association of Theoretical Computer Science (EATCS).

I obtained my BSc in 2007 and my MSc in 2010 in computer science, both summa cum laude, from Sapienza University of Rome.

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
Member 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 Behavioural Types for Reliable Large-Scale Software Systems.
FOCUS • January 2011 – December 2013
Member of the FOundations of Components-based Ubiquitous Systems, the first joint research team between INRIA, France and University of Bologna, Italy.

Selected Events

  • CS Seminar Invited speaker at University of St. Andrews (Jul 2017).
  • OPCT'17 Invited participant and speaker at IFIP WG1.8 Workshop on Open Problems in Concurrency Theory (Jun 2017).
  • LFCS Seminar Invited speaker at University of Edinburgh (Apr 2017).
  • BETTY Summer School'16 Invited lecturer at the 2nd BETTY Summer School, Limassol, Cyprus (Jun-Jul 2016).
  • ICTCS'15 Doctoral Research Award, Ceremony and Presentation (Sep 2015).
  • Practical Types'15 Invited lecturer at the SICSA Summer School on Practical Types, University of St. Andrews, UK (Aug 2015).
  • Heidelberg Laureate Forum Selected to attend the 3rd forum. (Aug 2015).

Professional Services

  • Athena SWAN SAT RAs representative and member.
  • 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).