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 the Formal Analysis, Theory and Algorithms research section, and Programming Language Foundations and Formal Methods research themes. I am a member of the Athena SWAN self-assessment team.
My research goal is to achieve safety, adaptability and resilience in real-world software systems, by design, by leveraging rigorous formal methods and verification techniques
I am a Co-Investigator within the UK EPSRC programme grant From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD), and a Site Leader of the European RISE Action Behavioural Application Program Interfaces (BehAPI).
I was a Postdoctoral Researcher (Jan 2014 - Apr 2018) within the ABCD project, at the University of Glasgow. Previously, I obtained my PhD 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 information about me on my personal website.
- Programming languages, semantics, concurrency.
- Formal methods and verification techniques: type systems, logic, encodings.
- Design and implementation of software tools for communication-safe systems 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
If you are interested in persuing high-quality PhD reseach in the areas of programming languages, formal methods, logic, and program verification, then please contact me. You can find information about the application process here.