Luis CairesView profile
Professor
Luis Caires is a Full Professor of Science and Methodology of Programming at the Department of Computer Science and Engineering, Técnico Lisboa (University of Lisbon). He is also a Core Researcher at INESC-ID and an ERA Chair Holder under the H2020 BIG initiative. Previously, he served as Full Professor at NOVA FCT’s Department of Computer Science and founded the NOVA Laboratory for Computer Science and Informatics. His research focuses on the theoretical foundations and practical applications of programming languages, emphasizing the development of trustworthy concurrent, distributed, and decentralized systems. Key themes include type systems for resource management in concurrent environments, formal logics (types, process algebra), and tools for compiler design and abstract machines. He also explores interdisciplinary areas like computational theories of mind and quantum programming models. Caires has extensive teaching experience, lecturing 23 courses across BSc, MSc, and PhD levels, including foundational programming courses and advanced topics in formal languages, verification logics, and software security. He coordinated 87 course editions between 1992 and 2023. Professional service includes PC roles at major conferences (ECOOP ’25, FoSSaCS ’25, LICS ’25/’26). His work bridges foundational research with system-building, addressing challenges in concurrency, security, and distributed computing.









