Dr Ornela Dardha
- Lecturer (School of Computing Science)
I am a Lecturer (Assistant Professor) in the School of Computing Science at the University of Glasgow. Within the School, I am the Theme Lead of Programming Languages and a member of Formal Analysis, Theory and Algorithms (FATA).
I am Glasgow Site Leader of the European RISE Action Behavioural Application Program Interfaces (BehAPI) and previously I was a Co-I and a Postdoctoral Researcher of the UK EPSRC programme grant From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD).
I obtained my PhD (May 2014) 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 about me on my personal website.
My reserach interests are in programming languages, concurrency, logic and verification.
My goal is to design and develop rigorous formal models and software tools for communication-safe, adaptable and resilient concurrent and distributed systems.
- From Data Types to Session Types: A Basis for Concurrency and Distribution (EP/K034413/1) Co-Investigator May 2018 - November 2020 (jointly with Ph. Wadler, S. Gay, N. Yoshida)
- Behavioural Application Program Interfaces (EU HORIZON 2020, MSCA RISE, ID 778233) UoG Site Leader since March 2019 - September 2022
If you are interested in persuing high-quality PhD research in the areas of programming languages, concurrency, logic, and program verification, then please contact me.
And if you are in Glasgow you can come and visit our Concurrency Lab (CoLab) in the School of Computing Science, in rooms F142/F143. We want to grow!
You can find information about the application process here.
- Jakobsen, Mathias Steen
Aliasing Control in an Object-Oriented Programming Language with Typestate Annotations