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. Within the School, I am a member of FATA research section, Programming Language Foundations and Formal Methods research topics, and Athena SWAN team.
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.
- Programming languages and semantics, formal models for concurrent and distributed systems.
- Verification and reasoning techniques: type systems, logics, encodability and expressiveness analysis.
- Design and implementation of software tools for communication-safe programming.
Dardha, O. and Gay, S. J. (2018) A New Linear Logic for Deadlock-Free Session-Typed Processes. In: 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Thessaloniki, Greece, 16-19 Apr 2018, pp. 91-109. (doi:10.1007/978-3-319-89366-2_5)
Kouzapas, D., Dardha, O. , Perera, R. and Gay, S. J. (2018) Typechecking protocols with Mungo and StMungo: a session type toolchain for Java. Science of Computer Programming, 155, pp. 52-75. (doi:10.1016/j.scico.2017.10.006)
Scalas, A., Dardha, O. , Hu, R. and Yoshida, N. (2017) A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. In: 31st European Conference on Object-Oriented Programming (ECOOP 2017), Barcelona, Spain, 18-23 Jun 2017, 24:1-24:31. ISBN 9783959770354 (doi:10.4230/LIPIcs.ECOOP.2017.24)
Dardha, O. (2016) Type Systems for Distributed Programs: Components and Sessions. Series: Atlantis studies in computing, 7. Atlantis Press (Springer). ISBN 9789462392038 (doi:10.2991/978-94-6239-204-5)
- From Data Types to Session Types: A Basis for Concurrency and Distribution (EP/K034413/1) Co-Investigator since May 2018 (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
- Voinea, Laura
Programming Languages and Environments with Session Types
I am currently looking for students who wish to pursue high-quality PhD research in the areas of programming languages, static analysis, logic, and program verification. Do not hesitate to contact me to discuss application process and funding opportunities.