Home Page of Luis Caires

Projects and Grants

  1. (2023-) [ ERA Chair Holder] BIG – Blockchain for Social Good H2020 ERA Chair, HORIZON ID: 952226.
  2. (2022–) [Core Team member] TaRDIS: Trustworthy and Resilient Decentralised Intelligence for Edge Systems, HORIZON-CL4- 2022-DATA-01-03.
  3. (2020–2023) [Core Team member] GOLEM – Automated Programming to Revolutionize App Development – CMU-Portugal LISBOA-01-0247-FEDER-045917).
  4. (2012–2015) [Core Team member] BETTY – Behavioural Types for Reliable Large-Scale Software Systems, EU COST Action IC1201.
  5. (2016—2018) [Coordinator] CLAY: An Environment for Live Construction of Trustworthy Software PTDC/EEI-CTP/4293/2014, FCT MCTES funding.
  6. (2010–2013) [Coordinator] INTERFACES: Certified Interfaces for Integrity and Security of Extensible Web Applications CMU-PT/NGN/0044/2008, national funding.
  7. (2008-2012) [Coordinator] MOBILOG: Specification of Complex, Stateful, Distributed Systems, “FCT/UNL Activities Plan under the Software Principles and Engineering area of the CMU-Portugal Program”, CMU-Pt/0009/2007, national funding.
  8. (2010 – 2012) [Core Team member] Streamline (PTDC / EIA-CCO / 104583 / 2008 – 2010-2012 )FCT MCTES funding.
  9. (2010 – 2012) [Core Team member] ASSERTION-TYPES (PTDC / EIA-CCO / 105359 / 2008 – 2010-2012 ) FCT MCTES funding.
  10. (2005–2010) [Coordinator NOVA Lisbon site] SENSORIA: Software Engineering for Service-Oriented Overlay Computers, FP7 UE 16004 (EU FP7 funding).
  11. (2005 – 2008) [Core Team member] Space-Time-Types (POSC / EIA / 55582 / 04 ) , FCT MCTES funding.
  12. (2002— 2006) [Coordinator NOVA Lisbon site] APPSEM II: Applied Seman- tics, IST-2001-38957 (EU FP5 funding).
  13. (2005 – 2007) Principal Investigator of the bilateral cooperation SecureSpace – Logics for Security Protocols CNRS/FCTMCTES.
  14. (2001 – 2003) Principal Investigator of the bilateral cooperation Termination of Higher-Order Rewriting CNRS/ICCTI.
  15. (2002 – 2005) [Core Team member] PROFUNDIS “Proofs of Functionality for Mobile Distributed Systems”, IST 2001-33310 FET, EU FP5 funding.
  16. (2001—2004) [Coordinator] POLY — Declarative Programming with Concurrency and Mobility POSI/39398/00, FCT MCTES funding.
  17. (2000 – 2004) [Core Team member] FAST – Foundations of Software Architecture (POSI/ 32717 /00, FCT MCTES funding.
  18. (2000 – 2004) [Team member] DataBricks — Data Components for Mobile Applications (POSI/33924/00), FCT MCTES funding.
  19. (2000 – 2004) [Team member] MIMO – Models and Infra-structures for Mobile Computing POSI/39789/01, FCT MCTES funding.
  20. (2000) [Team member] Bilateral cooperation P2000 – Rewriting and Algebraic Data Types CNRS/ICCTI CNRS/ICCTI.
  21. (1998) [Team member] Bilateral cooperation ICCTI/CNRS P1999 – Calculi of Explicit Substitutions CNRS/ICCTI CNRS/ICCTI.
  22. (1998 – 2002) [Team member] MR Linear Logic in Computer Science, Training and Mobility of Researchers ERB4061PL97-0244.
  23. (1997 – 1999) [Team member] ESPRIT 24512 Working Group Coordina.
  24. (1995 – 1999) [Team member] ESCOLA – Especificações executáveis de sistemas concorrentes – Linguagens e Modelos (PRAXIS /2/2.1 /MAT/46/94), FCT MCTES funding.
  25. (1994 – 1997) [Junior Researcher] ESPRIT BRA Coordination – Linguistic Support for Multiple Cooperating Agents P9102
  26. (1988 — 1990) [Junior Researcher] ESPRIT BRA COMPULOG – Computational Logic.
  27. (1987 — 1989) [Junior Researcher] ESPRIT ALPES P973 – Advanced Logic Programming Environment and Systems.