???global.info.a_carregar???
I am a Full Professor at the Departamento de Engenharia Informática, Técnico Lisboa, and a senior researcher at the INESC-ID Security and Privacy thematic line. I currently serve as ERA Chair Holder within Horizon Europe BIG. I earned my PhD degree from NOVA University in 1998 where I later became Assistant Professor, Associate Professor (2006), and Full Professor (2011). My research has contributed new principles, methodologies, and tools for the construction and analysis of software systems, targeting emerging technologies for concurrent and distributed computing. One of my main goals is to make software development more trustworthy, easier, and more accessible to developers and society in general. My research methods bridge theoretical concepts to practical systems building. The main areas I have contributed to in my career are the theory, design, implementation, type systems, and logic of programming languages as well as programming methodologies and tools, having introduced seminal results and methods such as spatial logics and linear type systems for secure, concurrent and distributed programming. Until mid-2023, I headed the Software Systems group and served as director of the NOVA Laboratory for Computer Science and Informatics. I held research internships at Microsoft Research Cambridge (2001-2002) and invited professorships at U Paris Orsay and U Paris Jussieu. I supervised seven PhD students and lectured more than 22 BSc, MSc, or PhD courses in software foundations and applications: programming techniques, programming languages, algorithms, language and concurrency theory, compilers, programming logics and semantics, software architecture, theoretical computer science, and software security. I am an elected member of IFIP WG2.2 Formal Models of Programming Concepts, one of the most prestigious IFIP working groups (established in 1964). I currently chair the Steering Committee of ESOP, a reference international conference in programming languages and systems, and I am an editor of the Journal of Logic and Algebraic Programming. I also serve as Vice President of the Portuguese Logic Association and as scientific director of the Carnegie-Mellon | Portugal Program. I was an elected member of the Informatics Europe board. At NOVA, I directed the CITI research unit from 2007 to 2013. I served twice as Head of Department (2011-2019, 50 faculty). I was the founding director of the NOVA LINCS Laboratory for Computer Science and Informatics in 2013, role I performed until 2023. NOVA LINCS was rated excellent by FCT the Portuguese National Science Foundation. At FCT NOVA, I also served as a member of the Scientific Council, member of the Faculty Council, and I was elected General Coordinator of the Council research units, representing 13 different fields of science and engineering. Among my activities to disseminate science, I launched and organised the first 10 editions of the NOVA CS Distinguished Lecture series, featuring outstanding scientists, including Turing Awardees. I launched and coordinated CodingFest (with agencies Ciência Viva and DGE), an impactful initiative to disseminate computational thinking that annually attracted 800-1100 secondary and basic school students and teachers in a one-week long online event. I am also a frequent author of opinion pieces on social issues related to computing in main Portuguese news media.
Read full resume ↓
Identification

Personal identification

Full name
Luis Caires

Citation names

  • Caires, Luis

Author identifiers

Ciência ID
5814-0F46-8CC3
ORCID iD
0000-0002-3215-6734
Google Scholar ID
https://scholar.google.pt/citations?user=mzi8n0QAAAAJ&hl=en

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Portuguese (Mother tongue)
Education
Degree Classification
2007
Concluded
 Agregação em Informática (Título de Agregado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"Dynamic Spatial Logics - A Survey and some recent developments" (THESIS/DISSERTATION)
 Aprovado por Unanimidade
1999
Concluded
 Doutoramento em Informática / PhD in Computer Science (Doutoramento)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"A Model for Declarative Programming and Specification with Concurrency and Mobility" (THESIS/DISSERTATION)
 Aprovado por Unanimidade (classificação única)
1995
Concluded
 Mestrado em Engenharia Informática / Master of Science in Computer Science and Engineering (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"Higher Order Polymorphic Unification for Logic Programming" (THESIS/DISSERTATION)
 19 / Muito Bom
1989
Concluded
 Licenciatura em Informática (Licenciatura)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Sistema Gestor de Interfaces Inteligentes baseado no modelo Cliente-Servidor" (THESIS/DISSERTATION)
 16
Affiliation

Science

Category
Host institution 		Employer
2023/07/01 - Current Principal Investigator (Research) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2014/05/04 - 2023/06/30 Principal Investigator (Research) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2023/07/01 - Current Full Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal
2011/04/05 - 2023/06/30 Full Professor (University Teacher) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007 - 2010 Associate Professor (University Teacher) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Others

Category
Host institution 		Employer
2007/01/01 - Current Member of the management team of the Carnegie Mellon | Portugal program. National co-director of the Dual Degree PhD Program in CS. Since 2010, ICTI@Portugal Scientific Director for the Computer Scien Universidade Nova de Lisboa Departamento de Informática, Portugal
2020/01/01 - 2023/06/30 Program Co-Director, Master in Business Analytics Universidade Nova de Lisboa, Portugal
Universidade Nova de Lisboa Faculdade de Economia e Gestão, Portugal
2018/01/01 - 2023/06/30 Member of the Supervisory Board of the VORTEX-Colab, an initiative led by Altran/Cap Gemini also involving ISEP, INESC TEC, and Beta-i. Vortex targets R&D activities in cybersecurity. Universidade Nova de Lisboa, Portugal
CoLAB VORTEX, Portugal
2014/12/31 - 2023/04/01 Founding Director of NOVA LINCS - Laboratory of Computer Science and Informatics. Coordinator of "Software Systems" and PI of the PLASTIC team. Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2011/06/01 - 2018/11/01 Head of Department Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007/09/01 - 2014/04/04 Director of CITI - Centro de Informática e Tecnologias da Informação (Centre for Informatics and Information Technologies). Coordinator of "Software Systems" and PI of the PLASTIC team. Universidade Nova de Lisboa Departamento de Informática, Portugal
2006/01/01 - 2012/03/01 Associate Professor at the academic section of Science and Technology of Programming, Universidade Nova de Lisboa Departamento de Informática, Portugal
2007/09/01 - 2011/09/01 Coordinator of the PDI PhD Program in Computer Science (2009-11). Member of the Coordinating Committee of the PDI PhD Program in Computer Science (2008-09) Co-author of the guidelines for the PhD Prog Universidade Nova de Lisboa Departamento de Informática, Portugal
2009/09/01 - 2011/04/05 Member of the Scientific Council. Member of the FCT UNL FCT Council, the body that elects the Dean (2010-11). Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2006/09/01 - 2009/10/01 Coordinator of the BSc Program in Computer Science. Previously, I was a member of the Coordinating Committee of the BSc Program in Computer Science, from 2005. Participated as co-author in the develop Universidade Nova de Lisboa Departamento de Informática, Portugal
2001/09/01 - 2007/09/01 CITI Member of the Executive Board (Director José C. Cunha). Universidade Nova de Lisboa Departamento de Informática, Portugal
1999/12/14 - 2005/01/10 Assistant Professor at the academic section of Science and Technology of Programming. Universidade Nova de Lisboa Departamento de Informática, Portugal
2003/04/01 - 2003/04/30 Invited Professor a the Maitre de Conferences level (for one month), supported by a Université Paris VII contract, at LPS Jussieu Université Paris-Saclay Faculté des Sciences d'Orsay, France
2001/04/01 - 2001/04/30 Invited Professor at the Maitre de Conferences level (for one month), supported by a Université Paris XII contract, at the LRI Orsay, Demons. Université Paris-Saclay Faculté des Sciences d'Orsay, France
1995/02/01 - 1999/12/14 Senior Teaching Assistant at the academic section of Science and Technology of Programming, Universidade Nova de Lisboa Departamento de Informática, Portugal
1989/01/01 - 1992/01/01 Chief Technical Officer Logiser SA, Portugal
1986/01/01 - 1989/01/01 Software project leader Logiser SA, Portugal
Projects

Contract

Designation Funders
2023/01/01 - 2025/12/31 Trustworthy And Resilient Decentralised Intelligence For Edge Systems
101093006
Researcher
Ongoing
2020/01/01 - 2023/12/31 GOLEM - Automated Programming to Revolutionize App Development
LISBOA-01-0247-FEDER-045917
Researcher
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
2016/07/01 - 2019/12/31 CLAY: An Environment for Live Construction of Trustworthy Software
PTDC/EEI-CTP/4293/2014
Principal investigator
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Universidade Nova de Lisboa Associação para a Inovação e Desenvolvimento da FCT, Portugal

Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2012/01/01 - 2015/12/31 BETTY - Behavioural Types for Reliable Large-Scale Software Systems
IC1201
Researcher
Concluded
2010/01/01 - 2013/12/31 INTERFACES: Certified Interfaces for Integrity and Security of Extensible Web Applications
CMU-PT/NGN/0044/2008
Principal investigator
Concluded
2010/12/01 - 2012/12/31 ASSERTION-TYPES for Object Oriented Programming
PTDC / EIA-CCO / 105359
Researcher
Fundação para a Ciência e a Tecnologia
2010/01/01 - 2012/12/31 Streamline
PTDC / EIA-CCO / 104583
Researcher
Concluded
2008/01/31 - 2012 MOBILOG: Specification of Complex, Stateful, Distributed Systems
CMU-Pt/0009/2007
Principal investigator
Concluded
2005/01/01 - 2010/12/31 SENSORIA: Software Engineering for Service-Oriented Overlay Computers
FP7 UE 16004
Co-Principal Investigator (Co-PI)
European Commission Seventh Framework Programme for Research and Technological Development
Concluded
2005/01/01 - 2008/12/31 Space-Time-Types
POSC / EIA / 55582
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
2002/01/01 - 2006/12/31 APPSEM II: Applied Semantics
IST-2001-38957
Co-Principal Investigator (Co-PI)
Concluded
2002/01/01 - 2005/12/31 PROFUNDIS Proofs of Functionality for Mobile Distributed Systems
IST 2001-33310 FET
Researcher
Concluded
2002/01/01 - 2004/12/31 FAST Foundations of Software Architecture
POSI/ 32717 /00
Researcher
Fundação para a Ciência e a Tecnologia
2001/01/01 - 2004/12/31 POLY Declarative Programming with Concurrency and Mobility
POSI/39398/00
Principal investigator
Fundação para a Ciência e a Tecnologia
2000/01/01 - 2004/12/31 Data Bricks Data Components for Mobile Applications
POSI/33924/00
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
2000/01 - 2004/12/31 MIMO Models and Infrastructures for Mobile Computing
POSI/39789/01
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Book
  1. Caires, L.. Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings. Lecture Notes in Computer Science 11423. 2019.
    Published • 10.1007/978-3-030-17184-1
  2. Baier, C.; Caires, L.. Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings. Lecture Notes in Computer Science 10854. 2018.
    10.1007/978-3-319-92612-4
  3. Caires, L.; Vasconcelos, V.T.. CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings. 2007.
    10.1016/j.ic.2009.01.008
  4. Caires, L.; Italiano, G.F.; Monteiro, L.; Palamidessi, C.; Yung, M.. Automata, Languages and Programming 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings. Lecture Notes in Computer Science 3580. 2005.
Book chapter
  1. Caires, L.; De Nicola, R.; Pugliese, R.; Vasconcelos, V.T.; Zavattaro, G.. "Core calculi for service-oriented computing". In Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, 153-188. Lecture Notes in Computer Science 6582, 2011.
    10.1007/978-3-642-20401-2_8
  2. Bartoletti, M.; Caires, L.; Lanese, I.; Mazzanti, F.; Sangiorgi, D.; Vieira, H.T.; Zunino, R.. "Tools and verification". In Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, 408-427. Lecture Notes in Computer Science 6582, 2011.
    10.1007/978-3-642-20401-2_19
Conference paper
  1. Caires, Luis; Toninho, Bernardo. "The Session Abstract Machine". Paper presented in Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, 2024.
  2. Rocha, Pedro; Caires, Luís. "Safe Session-Based Concurrency with Shared Linear State". Paper presented in Programming Languages and Systems. ESOP 2023, 2023.
    Published • 10.1007/978-3-031-30044-8_16
  3. Toninho, Bernardo; Caires, Luís; Pfenning, Frank. "A Decade of Dependent Session Types". 2021.
    10.1145/3479394.3479398
  4. Caires, L.; Pérez, J.A.; Pfenning, F.; Toninho, B.. "Domain-aware session types". Paper presented in 30th International Conference on Concurrency Theory, 2019.
    10.4230/LIPIcs.CONCUR.2019.39
  5. Caires, L.; Pérez, J.A.. "Multiparty session types within a canonical binary theory, and beyond". Paper presented in Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, 2018.
    10.1007/978-3-319-39570-8_6
  6. Caires, Luís; Pérez, Jorge A.. "Linearity, Control Effects, and Behavioral Types". Paper presented in ESOP 2017: Programming Languages and Systems, 2017.
    10.1007/978-3-662-54434-1_9
  7. Militão, F.; Aldrich, J.; Caires, L.. "Composing interfering abstract: Protocols". 2016.
    10.4230/LIPIcs.ECOOP.2016.16
  8. Lourenço, L.; Caires, L.. "Dependent information flow types". 2015.
    10.1145/2676726.2676994
  9. Toninho, B.; Caires, L.; Pfenning, F.. "Corecursion and non-divergence in session-typed processes". 2014.
    10.1007/978-3-662-45917-1_11
  10. Militão, F.; Aldrich, J.; Caires, L.. "Rely-guarantee protocols". Paper presented in ECOOP 2014 - Object-Oriented Programming - 28th European Conference, 2014.
    Published • 10.1007/978-3-662-44202-9_14
  11. Militão, F.; Aldrich, J.; Caires, L.. "Substructural typestates". 2014.
    10.1145/2541568.2541574
  12. Lourenço, L.; Caires, L.. "Information flow analysis for valued-indexed data security compartments". Paper presented in Trustworthy Global Computing - 8th International Symposium, TGC 2013, 2013.
    10.1007/978-3-319-05119-2_11
  13. Toninho, B.; Caires, L.; Pfenning, F.. "Higher-order processes, functions, and sessions: A monadic integration". Paper presented in Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, 2013.
    10.1007/978-3-642-37036-6_20
  14. Caires, L.; Pérez, J.A.; Pfenning, F.; Toninho, B.. "Behavioral polymorphism and parametricity in session-based communication". Paper presented in Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, 2013.
    10.1007/978-3-642-37036-6_19
  15. Caires, L.; Seco, J.C.. "The type discipline of behavioral separation". Paper presented in The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, 2013.
    10.1145/2480359.2429103
  16. DeYoung, H.; Caires, L.; Pfenning, F.; Toninho, B.. "Cut reduction in linear logic as asynchronous session-typed communication". Paper presented in Computer Science Logic (CSL'12) - 26th Annual Conference of the EACSL, CSL 2012, 2012.
    10.4230/LIPIcs.CSL.2012.228
  17. Baltazar, P.; Caires, L.; Vasconcelos, V.T.; Vieira, H.T.. "A type system for flexible role assignment in multiparty communicating systems". Paper presented in Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, 2012.
    10.1007/978-3-642-41157-1_6
  18. Pérez, J.A.; Caires, L.; Pfenning, F.; Toninho, B.. "Linear logical relations for session-based concurrency". Paper presented in Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, 2012.
    10.1007/978-3-642-28869-2_27
  19. Caires, L.; Vieira, H.T.. "SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications". Paper presented in Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, 2012.
    10.1007/978-3-642-28756-5_35
  20. Toninho, B.; Caires, L.; Pfenning, F.. "Functions as session-typed processes". Paper presented in Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, 2012.
    10.1007/978-3-642-28729-9_23
  21. Caires, L.; Pfenning, F.; Toninho, B.. "Towards concurrent type theory". Paper presented in 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, TLDI 2012, 2012.
    10.1145/2103786.2103788
  22. Pfenning, F.; Caires, L.; Toninho, B.. "Proof-carrying code in a session-typed process calculus". Paper presented in Certified Programs and Proofs - First International Conference, CPP 2011, 2011.
    10.1007/978-3-642-25379-9_4
  23. Toninho, B.; Caires, L.; Pfenning, F.. "Dependent session types via intuitionistic linear type theory". Paper presented in 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming PPDP'11, 2011.
    10.1145/2003476.2003499
  24. Caires, L.; Pérez, J.A.; Seco, J.C.; Vieira, H.T.; Ferrão, L.. "Type-based access control in data-centric systems". Paper presented in Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, 2011.
    10.1007/978-3-642-19718-5_8
  25. Caires, L.; Vieira, H.T.. "Analysis of service oriented software systems with the Conversation Calculus". Paper presented in Formal Aspects of Component Software - 7th International Workshop, FACS 2010, 2010.
    10.1007/978-3-642-27269-1_2
  26. Caires, L.; Pfenning, F.. "Session types as intuitionistic linear propositions". Paper presented in CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, 2010.
    10.1007/978-3-642-15375-4_16
  27. Militão, F.; Aldrich, J.; Caires, L.. "Aliasing control with view-based typestate". Paper presented in 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, 2010.
    10.1145/1924520.1924527
  28. Pires, M.; Caires, L.. "A type system for access control views in object-oriented languages". Paper presented in Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, 2010.
    10.1007/978-3-642-16074-5_5
  29. Caires, L.; Vieira, H.T.. "Conversation types". Paper presented in Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, 2009.
    10.1007/978-3-642-00590-9_21
  30. Caires, L.; Ferreira, C.; Vieira, H.. "A process calculus analysis of compensations". Paper presented in Trustworthy Global Computing, 4th International Symposium, TGC 2008, 2008.
    10.1007/978-3-642-00945-7_6
  31. Vieira, H.T.; Caires, L.; Seco, J.C.. "The conversation calculus: A model of service-oriented computation". Paper presented in Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, 2008.
    10.1007/978-3-540-78739-6_21
  32. Caires, L.. "Logical semantics of types for concurrency". Paper presented in Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, 2007.
  33. Caires, Luís; Vieira, Hugo Torres; Caires, L.; Vieira, H.T.. "Extensionality of Spatial Observations in Distributed Systems". Paper presented in Proceedings of the 13th International Workshop on Expressiveness in Concurrency, EXPRESS 2006, 2006.
    https://doi.org/10.1016/j.entcs.2006.10.056
  34. Boreale, M.; Bruni, R.; Caires, L.; De Nicola, R.; Lanese, I.; Loreti, M.; Martins, F.; et al. "SCC: A service centered calculus". Paper presented in Services and Formal Methods, Third International Workshop, WS-FM 2006, 2006.
  35. Caires, L.. "Spatial-behavioral types, distributed services, and resources". Paper presented in Trustworthy Global Computing, Second Symposium, TGC 2006, 2006.
  36. Seco, J.C.; Caires, L.. "Types for dynamic reconfiguration". Paper presented in Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, 2006.
  37. Seco, J.C.; Caires, L.. "Subtyping first-class polymorphic components". Paper presented in Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005, 2005.
  38. Caires, L.. "Behavioral and spatial observations in a logic for the p-calculus". Paper presented in Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, 2004.
  39. Caires, L.; Cardelli, L.. "A spatial logic for concurrency (Part II)". Paper presented in CONCUR 2002 - Concurrency Theory, 13th International Conference, 2002.
  40. Caires, Luís; Cardelli, Luca. "A Spatial Logic for Concurrency". Paper presented in Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, 2001.
    10.1007/3-540-45500-0_1
  41. Seco, João Costa; Caires, Luís. "A Basic Model of Typed Components". Paper presented in ECOOP 2000 - Object-Oriented Programming, 14th European Conference, 2000.
    10.1007/3-540-45102-1_6
  42. Caires, Luís; Monteiro, Luís. "Verifiable and executable logic specifications of concurrent objects in Lpi". Paper presented in Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, 1998.
    10.1007/bfb0053562
  43. Caires, Luís; Monteiro, Luís. "Proof net semantics of proof search computation". Paper presented in Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, 1997.
    10.1007/bfb0027011
  44. Caires, Luís. "A language for the logical specification of processes and relations". Paper presented in Algebraic and Logic Programming International Conference ALP’96, 1996.
    10.1007/3-540-61735-3_10
  45. Caires, Luis; Luís Monteiro. "Higher-Order Polymorphic Unification for Logic Programming". Paper presented in ICLP Logic Programming, Eleventh International Conference on Logic Programming, 1994.
  46. Caires, Luis. "SLWV - A Theorem Prover for Logic Programming". Paper presented in Extensions of Logic Programming, Third International Workshop, ELP'92, 1992.
    10.1007/3-540-56454-3_1
Journal article
  1. Rocha, Pedro; Caires, Luís. "Propositions-as-types and shared state". Proceedings of the ACM on Programming Languages 5 ICFP (2021): 1-30. http://dx.doi.org/10.1145/3473584.
    10.1145/3473584
  2. Caires, Luís; Toninho, Bernardo. "Refinement kinds: type-safe programming with practical type-level computation". Proceedings of the ACM on Programming Languages 3 OOPSLA (2019): 1-30. http://dx.doi.org/10.1145/3360557.
    10.1145/3360557
  3. Caires, L.; Pfenning, F.; Toninho, B.. "Linear logic propositions as session types". Mathematical Structures in Computer Science 26 3 (2016): 367-423. http://www.scopus.com/inward/record.url?eid=2-s2.0-84957625632&partnerID=MN8TOARS.
    10.1017/S0960129514000218
  4. Hüttel, H.; Lanese, I.; Vasconcelos, V.T.; Caires, L.; Carbone, M.; Deniélou, P.-M.; Mostrous, D.; et al. "Foundations of session types and behavioural contracts". ACM Computing Surveys 49 1 (2016): http://www.scopus.com/inward/record.url?eid=2-s2.0-84964545102&partnerID=MN8TOARS.
    10.1145/2873052
  5. Pérez, J.A.; Caires, L.; Pfenning, F.; Toninho, B.. "Linear logical relations and observational equivalences for session-based concurrency". Information and Computation 239 (2014): 254-302. http://www.scopus.com/inward/record.url?eid=2-s2.0-85027945382&partnerID=MN8TOARS.
    10.1016/j.ic.2014.08.001
  6. Caires, L.; Vieira, H.T.. "Conversation types". Theoretical Computer Science 411 51-52 (2010): 4399-4440. http://www.scopus.com/inward/record.url?eid=2-s2.0-78649320059&partnerID=MN8TOARS.
    10.1016/j.tcs.2010.09.010
  7. Caires, L.. "Spatial-behavioral types for concurrency and resource control in distributed systems". Theoretical Computer Science 402 2-3 (2010): 120-141. http://www.scopus.com/inward/record.url?eid=2-s2.0-46449117857&partnerID=MN8TOARS.
    10.1016/j.tcs.2008.04.030
  8. Caires, L.; Lozes, E.; Caires, Luís; Lozes, Etienne; Lozes, É.. "Elimination of quantifiers and undecidability in spatial logics for concurrency". Theoretical Computer Science 358 2-3 (2006): 293-314. http://www.scopus.com/inward/record.url?eid=2-s2.0-33746287259&partnerID=MN8TOARS.
    10.1016/j.tcs.2006.01.020
  9. CAIRES, L; Cardelli, Luca. "A spatial logic for concurrency - II". Theoretical Computer Science 322 (2004): 517-565.
    10.1016/j.tcs.2003.10.041
  10. Caires, Luís; Cardelli, Luca. "A spatial logic for concurrency (part I)". Information and Computation 186 (2003): http://www.scopus.com/inward/record.url?scp=0142121530&partnerID=8YFLogxK.
    https://doi.org/10.1016/S0890-5401(03)00137-8

Intellectual property

Patent
  1. Lúcio Ferrão; COSTA SECO, JOÃO; Caires, Luis; Gonçalo Borrega; António Melo. 2013. "Systems, methods, and apparatus for model-based security control - (Cited in patents by IBM (5), SAP (2), Red Hat(2), Microsoft (1), HashCorp (1))". United States.
    Withdrawn

Other

Software
  1. Caires, Luis; Toninho, Bernardo. "The Session Abstract Machine". unix. 2024.
    10.5281/zenodo.10459455
  2. Caires, Luis; Rocha, Pedro. "CLASS Interpreter and Typechecker (shared linear state)". unix. 2023.
    DOI 10.5281/zenodo.7506063.
  3. Caires, Luis; Pedro Rocha. "CLASS Interpreter and Typechecker (pure state)". unix. 2021.
    10.5281/zenodo.7506063.
  4. Caires, Luis; Toninho, Bernardo. "Typechecker for Refinement Kinds". unix. 2019.
    10.5281/zenodo.336242
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2017/01/01 - 2022/05/01 Pedro Rocha (PhD 2022), thesis title CLASS: A Logical Foundation for Typeful Programming with Shared State. Pedro Rochas is now R&D software developer at Critical Techworks.
Supervisor of Pedro Rocha
 Computer Science (PhD)
Universidade Nova de Lisboa, Portugal
2010/03/03 - 2016/04/01 Luísa Lourenço (PhD 2016), thesis: "Dependent Information Flow Types. Now Team Lead at OutSystems R&D Department.
Supervisor of Luís Lourenço
 Computer Science (PhD)
Universidade Nova de Lisboa, Portugal
2010/01/01 - 2015/04/04 Filipe Militão (PhD 2015) thesis: Rely-Guarantee Protocols for Safe Interference over Shared Memory. Now Software Development Engineer at Amazon, UK.
Supervisor of Filipe Militão
 Computer Science, NOVA University Lisbon and Carnegie Mellon University (with co-supervisor J. Aldrich) (PhD)
Universidade Nova de Lisboa, Portugal
2010/04/03 - 2015/03/04 Bernardo Toninho (PhD 2015), thesis; Logical Foundations for Session-based Concurrent Computation. Now Associate Professor at CS Department FCT NOVA, after a two year postdoc at Imperial College London, UK.
Supervisor of Bernardo Toninho
 Computer Science, NOVA University Lisbon and Carnegie Mellon University (with co-supervisor F. Pfenning), (PhD)
Universidade Nova de Lisboa, Portugal
2005/01/04 - 2010/05/04 Hugo T. Vieira (PhD 2009), thesis: “A Calculus for Modelling and Analysing Conversations inService Oriented Computing”. Now Senior Researcher at Evidence Srl, after Assistant Professor at IMT School for Advanced Studies Lucca.
Supervisor of Hugo Torres Vieira
 Computer Science (PhD)
2000/01/02 - 2006/01/02 João Costa Seco (PhD 2006), thesis: Languages and Types for Component-Based Programming. Now Associate Professor at CS Department FCT UNL.
Supervisor of João Costa Seco
 Computer Science (PhD)
Universidade Nova de Lisboa, Portugal
2001/01/01 - 2004/03/05 Etienne Lozes (PhD 2004), thesis: Expressiveness of Spatial Logics . Now Full Professor at Université Cote de Azur (formerly Sophia- Antipolis).
Supervisor
 Computer Science Universidade Nova de Lisboa - ENS Lyon (with co-supervisor D. Hirschkoff) (PhD)
Universidade Nova de Lisboa, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2005/01/01 - 2025/04/02 Since 2005 I served as Scientific Program Committee member of 31 international conferences, including ESOP, FoSSaCS, Concur, Coordination, ICALP, CSL and others. I also routinely serve as reviewer for POPL, LICS, ESOP, ICALP, CAV, Concur, TCS, I&C, MSCS, JACM and others. (2005/01/01 - 2024/07/01)
Conference (Member of the Scientific Committee)
2017/10/23 - 2017/10/25 Organising Chair of ECSS 2017 13th European Computer Science Summit. The European Computer Science Summit is the main annual event of Informatics Europe, and the ECSS 2017 gathered over 110 deans, departments heads, research directors and senior academics from over twenty countries in Lisbon, Portugal. (2017/10/23 - 2017/10/25)
Conference (President of the Organising Committee)
 Universidade Nova de Lisboa, Portugal
2007/09/10 - 2007/09/15 Organising co-chair of 18th International Conference on Concurrency Theory. (2007/09/10 - 2007/09/15)
Conference (President of the Organising Committee)
 Universidade Nova de Lisboa, Portugal
2005/07/11 - 2005/07/15 Organising Chair of ICALP 2005 the 32nd International Colloquium Automata, Languages and Programming. Proceedings editor with (Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung). (2005/07/11 - 2005/07/15)
Conference (President of the Organising Committee)
 Universidade Nova de Lisboa, Portugal

Committee member

Activity description
Role 		Institution / Organization
2022/01/03 - Current Chair of the Steering Committee of European Symposium on Programming Languages and Systems. The European Symposium on Programming (ESOP) is a top annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
President / Vice-president
2022/01/01 - Current Vice-president and a founding member of the Portuguese Logic Society. The Portuguese Society of Logic aims to contribute to the promotion of logic in Portugal and the multidisciplinary collaboration between interested parties.
President / Vice-president
2018/05/05 - Current Member of the Steering Committee: of ETAPS, the European Joint Conferences on Theory and Practice of Software. The European Joint Conferences on Theory and Practice of Software (ETAPS) is a confederation of four notable european computer science conferences in software theory (FoSSaCS, FASE, TACAS, and ESOP).
Member
2007/09/01 - Current Member (elected) of the IFIP WG 2.2 "Formal Description of Programming Concepts of TC2" Software: Theory and Practice established 1964, and one of the very first IFIP Working Groups founded, notable emeritii members include Jaco de Bakker, Dana Scott, Christopher Strachey, Peter Lauer, Manfred Paul, Leslie Lamport, Corrado Bohm, Maurice Nivat, Amir Pnueli, Luca Cardelli.
Member
2018/01 - 2019/12/31 Board Member of Informatics Europe, association that represents the academic and research community in Informatics in Europe and neighbouring countries. Elected by the General Assembly.
Member

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
1995/01/01 - 2033/12/31 Over the years, I lectured a large variety of courses (more than 22 different courses) at all levels (BSc, MSc, and PhD), with a broad coverage of software foundations and applications: programming techniques, programming languages, algo- rithms, language and concurrency theory, compilers, programming logics and semantics, software architecture, theoretical computer science, and software security. I designed 2 PhD, 5 MSc, and 7 BSc level new courses. (Outros) Universidade Nova de Lisboa, Portugal

Universidade de Lisboa Instituto Superior Técnico, Portugal

Journal scientific committee

Journal title (ISSN) Publisher
2016/02/03 - Current Journal of Logic and Algebraic Methods in Programming Elsevier
Distinctions

Award

2021 PPDP 11 10 Year Test of Time Award

Other distinction

2019 Program Committee Chair of ESOP 2019 - 28th European Symposium on Programming Languages and Systems (Core A)
2018 Program Committee coChair of International Conference on Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1
2007 Program Committee coChair of Concur 2009 - 18th International Conference on Concurrency Theory (Core A)
2007 Keynote speaker at CALCO'07 - 2nd Conference on Algebra and Coalgebra in Computer Science
2005 Keynote Speaker at TGC'05 - Symposium on Trustworthy Global Computing
2005 Keynote Speaker at Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005