University of Glasgow - Schools - School of Computing Science - Our staff

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.

From Data Types to Session Types: A Basis for Concurrency and Distribution (EPSRC EP/K034413/1)

Co-Investigator from May 2018 - May 2020 (jointly with Philip Wadler, Simon J. Gay and Nobuko Yoshida).

THEORY OF COMPUTATION (H) COMPSCI4072
PROGRAMMING LANGUAGES (SIT) SIT4033

List by: Type | Date

Jump to: 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012

Number of items: 17.

2018

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. 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)

2017

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. , Gay, S. J., Kouzapas, D., Perera, R. , Voinea, A. L. and Weber, F. (2017) Mungo and StMungo: tools for typechecking protocols in Java. In: Gay, S. and Ravara, A. (eds.) Behavioural Types: from Theory to Tools. Series: River Publishers Series in Automation, Control and Robotics. River Publishers, pp. 309-328. ISBN 9788793519824

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)

Scalas, A., Dardha, O. , Hu, R. and Yoshida, N. (2017) A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). [Artefact]

2016

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)

Kouzapas, D., Dardha, O. , Perera, R. and Gay, S. J. (2016) Typechecking Protocols with Mungo and StMungo. In: 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016), Edinburgh, UK, 5-7 Sept 2016,

2015

Dardha, O. (2015) Type systems for distributed programs: session communication. Bulletin of the EATCS, 117, pp. 70-99.

Dardha, O. and Perez, J. A. (2015) Comparing deadlock-free session typed processes. In: Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, Madrid, Spain, 31 Aug 2015,

2014

Bernardi, G., Dardha, O. , Gay, S. and Kouzapas, D. (2014) On duality relations for session types. In: 9th International Symposium on Trustworthy Global Computing (TGC) 2014, Rome, Italy, 5-6 Sep 2014, pp. 51-66. ISBN 9783662459164 (doi:10.1007/978-3-662-45917-1_4)

Carbone, M., Dardha, O. and Montesi, F. (2014) Progress as compositional lock-freedom. In: COORDINATION 2014, Berlin, Germany, 3-5 Jun 2014, pp. 49-64. (doi:10.1007/978-3-662-43376-8_4)

Dardha, O. (2014) Recursive session types revisited. In: BEAT 2014: Third International Workshop on Behavioural Types, Rome, Italy, 01 Sep 2014, pp. 27-34. (doi:10.4204/EPTCS.162.4)

2013

Dardha, O. , Giachino, E. and Lienhardt, M. (2013) A type system for components. In: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, pp. 167-181. (doi:10.1007/978-3-642-40561-7_12)

Dardha, O. , Gorla, D. and Varacca, D. (2013) Semantic Subtyping for Objects and Classes. In: Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Florence, Italy, 3-5 Jun 2013, pp. 66-82. (doi:10.1007/978-3-642-38592-6_6)

2012

Dardha, O. , Giachino, E. and Sangiorgi, D. (2012) Session types revisited. In: 14th International Symposium on Principles and Practice of Declarative Programming, Leuven, Belgium, 19-21 Sep 2012, pp. 139-149. (doi:10.1145/2370776.2370794)

This list was generated on Sun Jun 17 20:00:09 2018 BST.

Jump to: Articles | Books | Book Sections | Conference Proceedings | Artefact