|
ABOUT ME |
|
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. NEWS
* 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 |
|
Contact: |
|
Office EFB3.08 Dept. of Computer Science University College London Gower Street London WC1E 6BT United Kingdom
d.costa [at] ucl.ac.uk
|