Fernando Lucatelli Nunes

I work in computer science and pure mathematics. I develop foundations of computer science, especially in programming language semantics, formal methods, and software technology, with an emphasis on solutions that are correct by construction and suitable for direct implementation. In mathematics, I study the theory and applications of generalised categorical structures, both intrinsically and through their connections with other areas of mathematics. These directions fuse into a single research programme, in which abstract theory and practical problems develop in close dialogue.