I am Full Professor of Science and Methodology of Programming at Departament of Computer Science and Engineering, Técnico Lisboa, a Core Researcher at INESC-ID, and ERA Chair Holder under H2020 BIG. Previously, I served as Full Professor at Department of Computer Science NOVA FCT, and was founding Director of the NOVA Laboratory for Computer Science and Informatics.
My core research focuses on the theory and practice of programming languages, models and tools for building the trustworthy concurrent, distributed and decentralised software systems of the future. Recently I have been working on safe-by-typing programming language models for manipulating resources in concurrent and distributed systems. My research themes bridges from foundations (types, logics, process algebra) to systems building (compilers, type-checkers, abstract machines). I am also interested in many themes intersecting the theory of computation and other fields, including computational theories of mind, and programming language models of quantum physics.
Forthcoming events: ECOOP’25 (PC member); FoSSaCS’25 (PC member); LICS’25 (PC member); LICS’26 (PC member); FoPPS’26 (Organiser)
Home Page of Luis Caires 