Ornela Dardha

Registered user since Mon 30 Jul 2018

Name: Ornela Dardha

Bio: I am a Lecturer (Assistant Professor) at the School of Computing Science, University of Glasgow, UK.

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, from Sapienza University of Rome, Italy.

Country: United Kingdom

Affiliation: University of Glasgow

Personal website: http://www.dcs.gla.ac.uk/~ornela/

Research interests: programming Languages, static analysis, logic, verification


PADL 2019Committee Member in Program Committee within the PADL 2019-track
BEHAPI 2019Author of Binary Session Types in Coq within the BEHAPI-track
PLACES 2019Session Chair of II (part of PLACES)
Committee Member in Program Committee within the PLACES-track
ECOOP 2017Author of A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming within the ECOOP Research Papers-track