Luis Caires
Full Professor
Software Systems
Country: Portugal
Affiliation: Faculdade de Ciências e Tecnologia, UNL
Email: lcaires@fct.unl.pt
Phone: 916939394
- Resume
- Projects
- Publications
- Graduations
- Prototypes
- Seminars
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.
Project Highlights
- Certified Interfaces for Integrity and Security in Extensible Web Based Applications
- INTERFACES
- 01 May 2009 - 01 May 2012
- Luis Caires, João Costa Seco, Carla Ferreira, Filipe Militão, Bernardo Toninho, Hugo Torres Vieira, José Pacheco
- Software Engineering for Service-Oriented Overlay Computers
- SENSORIA
- 01 Sep 2005 - 01 May 2010
- Luís Monteiro, Luis Caires, João Costa Seco, Carla Ferreira, Hugo Torres Vieira
- Proofs of Functionality for Mobile Distributed Systems
- PROFUNDIS
- 01 Jan 2002 - 30 Apr 2005
- Luís Monteiro, Luis Caires, Hugo Torres Vieira