Ornela Dardha

Ornela Dardha

Assistant Professor

University of Glasgow

I am a Lecturer (Assistant Professor) at the School of Computing Science, University of Glasgow. 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 detailed information about me in my personal website.


  • Programming languages, semantics, concurrency
  • Formal methods and verification techniques
  • Design and implementation of software tools for communication-safe systems programming


  • PhD in Computing Science, 2015

    University of Bologna

  • MSc in Computing Science, 2010

    Sapienza University

  • BSc in Computing Science, 2008

    Sapienza University