ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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
Research interests:programming Languages, static analysis, logic, verification

Contributions

BEHAPI 2019 Binary Session Types in Coq
PLACES 2019 Session Chair of II (part of PLACES)
Committee Member in Program Committee within the PLACES-track
Show activities from other conferences

ETAPS 2019-profile
View general profile