ETAPS 2019 (series) / 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
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
View general profile