Dr Ornela Dardha
- Lecturer (School of Computing Science)
telephone: +44 (0)141 330 1732
I am a Lecturer (Assistant Professor) at the School of Computing Science, University of Glasgow. I am a member of FATA research section and Athena SWAN team.
I am now a Co-Investigator, and from Jan 2014 to Apr 2018 a Postdoctoral Researcher of the EPSRC programme grant From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD).
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 (110/110 e lode), from Sapienza University of Rome, Italy.
You can find more information about me on my personal website.
- Theoretical computer science, concurrency theory, programming languages and semantics.
- Formal models for communication-based, concurrent and distributed systems.
- Verification and reasoning techniques: type systems, logics, encodability and expressiveness analysis.
- Static analysis for correctness, consistency, safety and liveness properties in distributed systems.
- Design and implementation of tools for communication safety in mainstream programming languages.