Affiliation: Faculdade de Ciências e Tecnologia, UNL
Luís Caires is Full Professor at DI FCT UNL and Director of the NOVA Laboratory for Computer Science and Informatics, where he coordinates the unit research program, and leads the Software Systems group and PLASTIC team. The broad aim of our research targets the development of language-based programming, analysis techniques and tools for helping software developers to better understand and construct robust, easily modifiable, and correct software systems, addressing aspects such as concurrency, distribution, resource usage, security, and safety. We focus on a broad range of contributions, from principles and theoretical foundations to systems construction, some in collaboration with industry. I am ia member of IFIP WG 2.2, and (co-)author of several widely acknowledged contributions to concurrent and distributed programming, and trustworthy component and service-oriented computing and models (programming abstractions, logics, types, and tools), several developed in international collaborations. We publish at top venues such as POPL, ECOOP, ESOP, Concur, FoSSaCS. He was an organizer of ICALP'05, PC co-chair of Concur'07, and is member of Ed. Board of JLAMP. He often serves as PC member of top conferences in the field, and lectured at several international events.