???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.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Luis Caires

Nomes de citação

  • Caires, Luis

Identificadores de autor

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

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Português (Idioma materno)
Formação
Grau Classificação
2007
Concluído
 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" (TESE/DISSERTAÇÃO)
 Aprovado por Unanimidade
1999
Concluído
 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" (TESE/DISSERTAÇÃO)
 Aprovado por Unanimidade (classificação única)
1995
Concluído
 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" (TESE/DISSERTAÇÃO)
 19 / Muito Bom
1989
Concluído
 Licenciatura em Informática (Licenciatura)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Sistema Gestor de Interfaces Inteligentes baseado no modelo Cliente-Servidor" (TESE/DISSERTAÇÃO)
 16
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2023/07/01 - Atual Investigador principal (carreira) (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2014/05/04 - 2023/06/30 Investigador principal (carreira) (Investigação) Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2023/07/01 - Atual Professor Catedrático (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Instituto Superior Técnico, Portugal
2011/04/05 - 2023/06/30 Professor Catedrático (Docente Universitário) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2007 - 2010 Professor Associado (Docente Universitário) Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2007/01/01 - Atual 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, França
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, França
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
Projetos

Projeto

Designação Financiadores
2023/01/01 - 2025/12/31 Trustworthy And Resilient Decentralised Intelligence For Edge Systems
101093006
Investigador
Em curso
2020/01/01 - 2023/12/31 GOLEM - Automated Programming to Revolutionize App Development
LISBOA-01-0247-FEDER-045917
Investigador
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
Investigador responsável
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
Concluído
2012/01/01 - 2015/12/31 BETTY - Behavioural Types for Reliable Large-Scale Software Systems
IC1201
Investigador
Concluído
2010/01/01 - 2013/12/31 INTERFACES: Certified Interfaces for Integrity and Security of Extensible Web Applications
CMU-PT/NGN/0044/2008
Investigador responsável
Concluído
2010/12/01 - 2012/12/31 ASSERTION-TYPES for Object Oriented Programming
PTDC / EIA-CCO / 105359
Investigador
Fundação para a Ciência e a Tecnologia
2010/01/01 - 2012/12/31 Streamline
PTDC / EIA-CCO / 104583
Investigador
Concluído
2008/01/31 - 2012 MOBILOG: Specification of Complex, Stateful, Distributed Systems
CMU-Pt/0009/2007
Investigador responsável
Concluído
2005/01/01 - 2010/12/31 SENSORIA: Software Engineering for Service-Oriented Overlay Computers
FP7 UE 16004
Co-Investigador Responsável (Co-IR)
European Commission Seventh Framework Programme for Research and Technological Development
Concluído
2005/01/01 - 2008/12/31 Space-Time-Types
POSC / EIA / 55582
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
2002/01/01 - 2006/12/31 APPSEM II: Applied Semantics
IST-2001-38957
Co-Investigador Responsável (Co-IR)
Concluído
2002/01/01 - 2005/12/31 PROFUNDIS Proofs of Functionality for Mobile Distributed Systems
IST 2001-33310 FET
Investigador
Concluído
2002/01/01 - 2004/12/31 FAST Foundations of Software Architecture
POSI/ 32717 /00
Investigador
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
Investigador responsável
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
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
2000/01 - 2004/12/31 MIMO Models and Infrastructures for Mobile Computing
POSI/39789/01
Investigador
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Caires, Luis; Toninho, Bernardo. "The Session Abstract Machine". Trabalho apresentado em 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". Trabalho apresentado em Programming Languages and Systems. ESOP 2023, 2023.
    Publicado • 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em ECOOP 2014 - Object-Oriented Programming - 28th European Conference, 2014.
    Publicado • 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em Services and Formal Methods, Third International Workshop, WS-FM 2006, 2006.
  35. Caires, L.. "Spatial-behavioral types, distributed services, and resources". Trabalho apresentado em Trustworthy Global Computing, Second Symposium, TGC 2006, 2006.
  36. Seco, J.C.; Caires, L.. "Types for dynamic reconfiguration". Trabalho apresentado em Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, 2006.
  37. Seco, J.C.; Caires, L.. "Subtyping first-class polymorphic components". Trabalho apresentado em 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". Trabalho apresentado em 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)". Trabalho apresentado em CONCUR 2002 - Concurrency Theory, 13th International Conference, 2002.
  40. Caires, Luís; Cardelli, Luca. "A Spatial Logic for Concurrency". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em 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". Trabalho apresentado em ICLP Logic Programming, Eleventh International Conference on Logic Programming, 1994.
  46. Caires, Luis. "SLWV - A Theorem Prover for Logic Programming". Trabalho apresentado em Extensions of Logic Programming, Third International Workshop, ELP'92, 1992.
    10.1007/3-540-56454-3_1
Artigo em revista
  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
Capítulo de livro
  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
Livro
  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.
    Publicado • 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.

Propriedade Intelectual

Patente
  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))". Estados Unidos.
    Retirada

Outros

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
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
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.
Orientador de Pedro Rocha
 Computer Science (Doutoramento)
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.
Orientador de Luís Lourenço
 Computer Science (Doutoramento)
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.
Orientador de Filipe Militão
 Computer Science, NOVA University Lisbon and Carnegie Mellon University (with co-supervisor J. Aldrich) (Doutoramento)
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.
Orientador de Bernardo Toninho
 Computer Science, NOVA University Lisbon and Carnegie Mellon University (with co-supervisor F. Pfenning), (Doutoramento)
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.
Orientador de Hugo Torres Vieira
 Computer Science (Doutoramento)
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.
Orientador de João Costa Seco
 Computer Science (Doutoramento)
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).
Orientador
 Computer Science Universidade Nova de Lisboa - ENS Lyon (with co-supervisor D. Hirschkoff) (Doutoramento)
Universidade Nova de Lisboa, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
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)
Conferência (Membro da Comissão Científica)
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)
Conferência (Presidente da Comissão Organizadora)
 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)
Conferência (Presidente da Comissão Organizadora)
 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)
Conferência (Presidente da Comissão Organizadora)
 Universidade Nova de Lisboa, Portugal

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2016/02/03 - Atual Journal of Logic and Algebraic Methods in Programming Elsevier

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
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

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2022/01/03 - Atual 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.
Presidente / Vice-presidente
2022/01/01 - Atual 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.
Presidente / Vice-presidente
2018/05/05 - Atual 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).
Membro
2007/09/01 - Atual 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.
Membro
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.
Membro
Distinções

Prémio

2021 PPDP 11 10 Year Test of Time Award

Outra distinção

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