Home Page of Luis Caires

Current Appointments

• (2023-) Full Professor of Science and Methodology of Programming, DEI Técnico Lisboa.
• (2024-) Vice-President at the Department of Computer Science and Engineering, DEI Técnico Lisboa.
• (2024-) Member of the Board Of the Scientific Council at INESC-ID.
• (2023-) Core Researcher at INESC-ID (Group: Information and Decision Systems / Security and Privacy).
• (2023-) ERA Chair Holder for the HORIZ0N 2020 BIG Project.
• (2010-) Scientific Diretor at the Carnegie Mellon | PT Program.
• (2022-) Chair of the Steering Committee of the ESOP European Symposium of Programming Languages.
• (2022-) Vice President and co-founder of the Portuguese Logic Society.
• (2009-) Member (elected) of the IFIP WG 2.2. Formal Description of Programming Concepts.

Past Appointments

• (2011-2023) Full Professor of Science and Technology of Programming, Computer Science Department, FCT NOVA.
• (2013-2023) Diretor (founding) of NOVA LINCS, the NOVA Laboratory for Computer Science and Informatics.
• (2020-2023) Chair of the Council of FCT NOVA Research Centres.
• (2018-2023) Founder and Member of the Supervisor Board of VORTEX Colab.
• (2021-2023) Elected Member of the Faculty Council FCT NOVA (Conselho de Escola).
• (2020-2023) Program Co-Director Master in Business Analytics NOVA SBE/ FCT NOVA.
• (2010-2023) PI of Software Systems Group at NOVA LINCS.
• (2011-2019) Head of Department at the Department of Informatics FCT NOVA.
• (2010-2023) PI of the PLASTIC Research Team at CITI and NOVA LINCS.
• (1995-2023) Member of Department Council DI FCT NOVA.
• (2018-2019) Board Member of Informatics Europe.
• (2007-2013) Diretor of the CITI Center for Informatics and Information Technology.
• (2009-2011) Elected Member of the Faculty Council FCT NOVA..
• (2015-2018) Member of the Coordinating Committee of the Scientific Council FCT NOVA.
• (2008-2018) Elected Member of the Scientific Council FCT NOVA.
• (2008-2010) National Coordinator of the CMU|PT PhD Program in Computer Science.
• (2006-2011) Associate Professor (with Habilitation since 2007) DI FCT NOVA.
• (2009-2011) (first) Coordinator of the PhD Program in Computer Science Di FCT NOVA.
• (2006-2009) (first) Coordinator of the Bologna Undergraduate Program in Computer Science DI FCT NOVA.
• (2003) Visiting Researcher, Microsoft Research Cambridge, UK.
• (2003) Visiting Professor, Laboratoire Programmes Preuves et Systemes, Université de Paris VII, Jussieu, FR.
• (2002) Visiting Professor, LRI – Laboratoire de Recherches en Informatique, Université de Paris-Saclay, FR.
• (2001) Visiting Researcher, Microsoft Research Cambridge, UK.
• (1999–2006) Assistant Professor, DI FCT NOVA.
• (1991–1999) Research Teaching Assistant, DI FCT NOVA and UNINOVA.
• (1988–1994), CTO, Logiser SA (a software startup).