I am a postdoctoral researcher in the Programming Principles, Logic and Verification Group at University College London. I am currently hired by the ReLiC project but keeping a close contact with the IRIS project.

I completed my PhD in Applied Mathematics in February 2019 from a joint program between the Universities of Aveiro, Porto and Minho. I was supervised by Manuel A. Martins at University of Aveiro. During my PhD I was awarded the 2015 Gulbenkian Prize for Stimulus to Scientific Research in the field of Mathematics with my project on the application of Paraconsistent logics in the field of Robotics.

I am interested in graph-related logics, such as the family of Modal logics and its extensions to Hybrid and Dynamic logics, and in Paraconsistency under the form of many-valued reasoning - product of my PhD years. More recently I have been working on the development of new versions of Separation logic and of a Proof-Theoretic Semantics for Substructural logics.




* My paper "Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic" (joint work with Manuel A. Martins) just got accepted at JLAMP! [Feb-2021]

Diana Costa


Office EFB3.08

Dept. of Computer Science

University College London

Gower Street

London WC1E 6BT

United Kingdom


d.costa [at] ucl.ac.uk