Dr Ornela Dardha
- Lecturer (School of Computing Science)
telephone:
+44 (0)141 330 1732
email:
Ornela.Dardha@glasgow.ac.uk
Room F143 Level F, School of Computing Science, Sir Alwyn Williams Building, 17 Lilybank Gardens, Glasgow, G12 8RZ
Biography
I am a Lecturer (Assistant Professor) at the School of Computing Science at the University of Glasgow. Within the School, I am leader of Programming Languages theme and I am Glasgow site leader of the European RISE Action Behavioural Application Program Interfaces (BehAPI).
I was Co-Investigator (May 2018 - May 2020), and before that postdoctoral researcher (Jan 2014 - Apr 2018) within the UK EPSRC programme grant From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD).
I obtained my PhD (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 information about me on my personal website.
Research interests
- Programming languages, semantics, concurrency.
- Formal methods and verification techniques: type systems, logic, encodings.
- Design and implementation of software tools for communication-safe systems programming.
Publications
Selected publications
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)
Dardha, O. , Giachino, E. and Sangiorgi, D. (2017) Session types revisited. Information and Computation, 256, pp. 253-286. (doi: 10.1016/j.ic.2017.06.002)
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. , Gorla, D. and Varacca, D. (2017) Semantic subtyping for objects and classes. Computer Journal, 60(5), pp. 636-656. (doi: 10.1093/comjnl/bxw080)
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)
All publications
Grants
- From Data Types to Session Types: A Basis for Concurrency and Distribution (EP/K034413/1) Co-Investigator May 2018 - May 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 - March 2022
Supervision
If you are interested in pursuing high-quality PhD research in the areas of programming languages, formal methods, logic, and program verification, then please contact me. You can find information about the application process on the information for prospective students pages.
- Jakobsen, Mathias Steen
Aliasing Control in an Object-Oriented Programming Language with Typestate Annotations - Zalakain, Uma
Machine verification of typed process calculi
Teaching
- THEORY OF COMPUTATION (H) COMPSCI4072
- PROGRAMMING LANGUAGES (H) COMPSCI4016