معرفی
Luís Caires is a Full Professor of Science and Methodology of Programming at the Department of Computer Science and Engineering, Técnico Lisboa. He is also a Core Researcher at INESC-ID and holds the ERA Chair under the H2020 BIG initiative. Previously, he served as a Full Professor at the Department of Computer Science, NOVA FCT, and was the founding Director of the NOVA Laboratory for Computer Science and Informatics. His research focuses on the theory and practice of programming languages, emphasizing trustworthy concurrent, distributed, and decentralized systems. Key areas include type systems for resource management in concurrent systems, integration of foundational concepts (types, logics, process algebra) with systems building (compilers, type-checkers), and interdisciplinary themes like computational theories of mind and quantum programming models.
Recent work includes the development of the Linear Session Abstract Machine (LSAM) and the CLASS language, which ensure safety properties in concurrent programming. He actively participates in academic communities, serving as a PC member for ECOOP, FoSSaCS, and LICS. His contributions span software tools like the SLMC model checker for spatial logics and DIFT for dependent information flow types. His research bridges theoretical foundations with practical implementations, emphasizing both correctness and practical usability.
- Key Projects: LSAM, CLASS, DIFT, SLMC
- Grants: H2020 BIG (ERA Chair)
- Labs/Teams: INESC-ID, NOVA Laboratory for Computer Science and Informatics
