???global.info.a_carregar???
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

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
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

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
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
2014/12/31 - Atual 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/09/01 - Atual Head of Department Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
2010/09/01 - Atual 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
2007/09/01 - Atual 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
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
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
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 “Professeur Invité” at the Maitre de Conferences level (for one month), supported by a Université Paris VII contract, at “Laboratoire Programmes Preuves et Systemes”. Université Paris-Saclay Faculté des Sciences d'Orsay, França
2001/04/01 - 2001/04/30 “Professeur Invité`at the Maitre de Conferences level (for one month), supported by a Universite ´ Paris XII contract, at the “Laboratoire de Recherches en Informatique”, Equipe 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
Produções

Publicações

Artigo em conferência
  1. Caires, L.; Pérez, J.A.; Pfenning, F.; Toninho, B.. "Domain-aware session types". 2019.
    10.4230/LIPIcs.CONCUR.2019.39
  2. Militão, F.; Aldrich, J.; Caires, L.. "Composing interfering abstract: Protocols". 2016.
    10.4230/LIPIcs.ECOOP.2016.16
  3. Lourenço, L.; Caires, L.. "Dependent information flow types". 2015.
    10.1145/2676726.2676994
  4. Militão, F.; Aldrich, J.; Caires, L.. "Substructural typestates". 2014.
    10.1145/2541568.2541574
  5. CAIRES, L. "A spatial logic for concurrency - II". 2004.
    10.1016/j.tcs.2003.10.041
  6. CAIRES, L. "A spatial logic for concurrency (part I)". 2003.
    10.1016/S0890-5401(03)00137-8
Artigo em revista
  1. Caires, Luís Manuel Marques da Costa; Toninho, Bernardo Parente Coutinho Fernandes. "Refinement kinds: type-safe programming with practical type-level computation". (2019): http://hdl.handle.net/10362/107255.
    https://doi.org/10.1145/3360557
  2. 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
  3. 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
  4. 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
  5. Toninho, B.; Caires, L.; Pfenning, F.. "Higher-order processes, functions, and sessions: A monadic integration". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7792 LNCS (2013): 350-369. http://www.scopus.com/inward/record.url?eid=2-s2.0-84874414870&partnerID=MN8TOARS.
    10.1007/978-3-642-37036-6_20
  6. Caires, L.; Pérez, J.A.; Pfenning, F.; Toninho, B.. "Behavioral polymorphism and parametricity in session-based communication". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7792 LNCS (2013): 330-349. http://www.scopus.com/inward/record.url?eid=2-s2.0-84874399250&partnerID=MN8TOARS.
    10.1007/978-3-642-37036-6_19
  7. Baltazar, P.; Caires, L.; Vasconcelos, V.T.; Vieira, H.T.. "A type system for flexible role assignment in multiparty communicating systems". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8191 LNCS (2013): 82-96. http://www.scopus.com/inward/record.url?eid=2-s2.0-84886414647&partnerID=MN8TOARS.
    10.1007/978-3-642-41157-1_6
  8. Caires, L.; Seco, J.C.. "The type discipline of behavioral separation". ACM SIGPLAN Notices 48 1 (2013): 275-286. http://www.scopus.com/inward/record.url?eid=2-s2.0-84877878180&partnerID=MN8TOARS.
    10.1145/2480359.2429103
  9. Caires, L.; Vieira, H.T.. "Analysis of service oriented software systems with the Conversation Calculus". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6921 LNCS (2012): 6-33. http://www.scopus.com/inward/record.url?eid=2-s2.0-84856141396&partnerID=MN8TOARS.
    10.1007/978-3-642-27269-1_2
  10. Caires, L.; Pfenning, F.; Toninho, B.. "Towards concurrent type theory". Conference Record of the Annual ACM Symposium on Principles of Programming Languages (2012): 1-12. http://www.scopus.com/inward/record.url?eid=2-s2.0-84857827037&partnerID=MN8TOARS.
    10.1145/2103786.2103788
  11. Toninho, B.; Caires, L.; Pfenning, F.. "Functions as session-typed processes". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7213 LNCS (2012): 346-360. http://www.scopus.com/inward/record.url?eid=2-s2.0-84859145976&partnerID=MN8TOARS.
    10.1007/978-3-642-28729-9_23
  12. Pérez, J.A.; Caires, L.; Pfenning, F.; Toninho, B.. "Linear logical relations for session-based concurrency". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7211 LNCS (2012): 539-558. http://www.scopus.com/inward/record.url?eid=2-s2.0-84859134524&partnerID=MN8TOARS.
    10.1007/978-3-642-28869-2_27
  13. Caires, L.; Vieira, H.T.. "SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7214 LNCS (2012): 485-491. http://www.scopus.com/inward/record.url?eid=2-s2.0-84859357684&partnerID=MN8TOARS.
    10.1007/978-3-642-28756-5_35
  14. DeYoung, H.; Caires, L.; Pfenning, F.; Toninho, B.. "Cut reduction in linear logic as asynchronous session-typed communication". Leibniz International Proceedings in Informatics, LIPIcs 16 (2012): 228-242. http://www.scopus.com/inward/record.url?eid=2-s2.0-84880191863&partnerID=MN8TOARS.
    10.4230/LIPIcs.CSL.2012.228
  15. Caires, L.; Pérez, J.A.; Seco, J.C.; Vieira, H.T.; Ferrão, L.. "Type-based access control in data-centric systems". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6602 LNCS (2011): 136-155. http://www.scopus.com/inward/record.url?eid=2-s2.0-79953182363&partnerID=MN8TOARS.
    10.1007/978-3-642-19718-5_8
  16. Toninho, B.; Caires, L.; Pfenning, F.. "Dependent session types via intuitionistic linear type theory". PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming (2011): 161-171. http://www.scopus.com/inward/record.url?eid=2-s2.0-80052145663&partnerID=MN8TOARS.
    10.1145/2003476.2003499
  17. Caires, L.; De Nicola, R.; Pugliese, R.; Vasconcelos, V.T.; Zavattaro, G.. "Core calculi for service-oriented computing". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6582 (2011): 153-188. http://www.scopus.com/inward/record.url?eid=2-s2.0-80455158279&partnerID=MN8TOARS.
    10.1007/978-3-642-20401-2_8
  18. Bartoletti, M.; Caires, L.; Lanese, I.; Mazzanti, F.; Sangiorgi, D.; Vieira, H.T.; Zunino, R.. "Tools and verification". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6582 (2011): 408-427. http://www.scopus.com/inward/record.url?eid=2-s2.0-80455158324&partnerID=MN8TOARS.
    10.1007/978-3-642-20401-2_19
  19. Pfenning, F.; Caires, L.; Toninho, B.. "Proof-carrying code in a session-typed process calculus". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7086 LNCS (2011): 21-36. http://www.scopus.com/inward/record.url?eid=2-s2.0-81855226001&partnerID=MN8TOARS.
    10.1007/978-3-642-25379-9_4
  20. Caires, L.; Vasconcelos, V.T.. "Preface: 18th international conference on concurrency theory". Information and Computation 208 6 (2010): http://www.scopus.com/inward/record.url?eid=2-s2.0-77955337516&partnerID=MN8TOARS.
    10.1016/j.ic.2009.01.008
  21. Caires, L.; Pfenning, F.. "Session types as intuitionistic linear propositions". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6269 LNCS (2010): 222-236. http://www.scopus.com/inward/record.url?eid=2-s2.0-78249240348&partnerID=MN8TOARS.
    10.1007/978-3-642-15375-4_16
  22. Pires, M.; Caires, L.. "A type system for access control views in object-oriented languages". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6186 LNCS (2010): 59-76. http://www.scopus.com/inward/record.url?eid=2-s2.0-78449269205&partnerID=MN8TOARS.
    10.1007/978-3-642-16074-5_5
  23. Militão, F.; Aldrich, J.; Caires, L.. "Aliasing control with view-based typestate". 24th European Conference on Object-Oriented Programming, ECOOP 2010 Workshop Proceedings - Workshop 5:12th Workshop on Formal Techniques for Java-Like Programs, FTFJP'10 (2010): http://www.scopus.com/inward/record.url?eid=2-s2.0-79957976123&partnerID=MN8TOARS.
    10.1145/1924520.1924527
  24. 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
  25. Caires, L.; Vieira, H.T.. "Conversation types". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5502 (2009): 285-300. http://www.scopus.com/inward/record.url?eid=2-s2.0-67650137762&partnerID=MN8TOARS.
    10.1007/978-3-642-00590-9_21
  26. Caires, L.; Ferreira, C.; Vieira, H.. "A process calculus analysis of compensations". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5474 LNCS (2009): 87-103. http://www.scopus.com/inward/record.url?eid=2-s2.0-67650339992&partnerID=MN8TOARS.
    10.1007/978-3-642-00945-7_6
  27. Caires, L.; Caires, Luís. "Spatial-behavioral types for concurrency and resource control in distributed systems". Theoretical Computer Science 402 2-3 (2008): 120-141. http://www.scopus.com/inward/record.url?eid=2-s2.0-46449117857&partnerID=MN8TOARS.
    10.1016/j.tcs.2008.04.030
  28. Vieira, H.T.; Caires, L.; Seco, J.C.. "The conversation calculus: A model of service-oriented computation". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4960 LNCS (2008): 269-283. http://www.scopus.com/inward/record.url?eid=2-s2.0-47249140462&partnerID=MN8TOARS.
    10.1007/978-3-540-78739-6_21
  29. Caires, L.. "Spatial-behavioral types, distributed services, and resources". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4661 LNCS (2007): 98-115. http://www.scopus.com/inward/record.url?eid=2-s2.0-38149032798&partnerID=MN8TOARS.
  30. Caires, L.. "Logical semantics of types for concurrency". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4624 LNCS (2007): 16-35. http://www.scopus.com/inward/record.url?eid=2-s2.0-38049073334&partnerID=MN8TOARS.
  31. Caires, Luís; Vieira, Hugo Torres; Caires, L.; Vieira, H.T.. "Extensionality of Spatial Observations in Distributed Systems". Electronic Notes in Theoretical Computer Science 175 3 (2007): 131-149. http://www.scopus.com/inward/record.url?scp=34250321340&partnerID=8YFLogxK.
    https://doi.org/10.1016/j.entcs.2006.10.056
  32. Seco, J.C.; Caires, L.. "Types for dynamic reconfiguration". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3924 LNCS (2006): 214-229. http://www.scopus.com/inward/record.url?eid=2-s2.0-33745774366&partnerID=MN8TOARS.
  33. 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
  34. Boreale, M.; Bruni, R.; Caires, L.; De Nicola, R.; Lanese, I.; Loreti, M.; Martins, F.; et al. "SCC: A service centered calculus". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4184 LNCS (2006): 38-57. http://www.scopus.com/inward/record.url?eid=2-s2.0-33845218651&partnerID=MN8TOARS.
  35. Seco, J.C.; Caires, L.. "Subtyping first-class polymorphic components". Lecture Notes in Computer Science 3444 (2005): 342-356. http://www.scopus.com/inward/record.url?eid=2-s2.0-24644438370&partnerID=MN8TOARS.
  36. Caires, L.; Italiano, G.F.; Monteiro, L.; Palamidessi, C.; Yung, M.. "Lecture Notes in Computer Science: Preface". Lecture Notes in Computer Science 3580 (2005): http://www.scopus.com/inward/record.url?eid=2-s2.0-26444549834&partnerID=MN8TOARS.
  37. Caires, L.. "Behavioral and spatial observations in a logic for the p-calculus". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2987 (2004): 72-89. http://www.scopus.com/inward/record.url?eid=2-s2.0-35048869191&partnerID=MN8TOARS.
  38. Caires, Luís; Cardelli, Luca. "A spatial logic for concurrency (part I)". (2003): http://www.scopus.com/inward/record.url?scp=0142121530&partnerID=8YFLogxK.
    https://doi.org/10.1016/S0890-5401(03)00137-8
  39. Caires, L.; Cardelli, L.. "A spatial logic for concurrency (Part II)". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2421 LNCS (2002): 209-225. http://www.scopus.com/inward/record.url?eid=2-s2.0-35248827089&partnerID=MN8TOARS.
Capítulo de livro
  1. Caires, Luis. "SLWV — A theorem prover for logic programming". 2005.
    10.1007/3-540-56454-3_1
Livro
  1. Caires, L.. Preface. 2019.
  2. Baier, C.; Caires, L.. Preface. 2018.
  3. Caires, L.; Pérez, J.A.. Linearity, control effects, and behavioral types. 2017.
    10.1007/978-3-662-54434-1_9
  4. Caires, L.; Pérez, J.A.. Multiparty session types within a canonical binary theory, and beyond. 2016.
    10.1007/978-3-319-39570-8_6
  5. Lourenço, L.; Caires, L.. Information flow analysis for valued-indexed data security compartments. 2014.
    10.1007/978-3-319-05119-2_11
  6. Toninho, B.; Caires, L.; Pfenning, F.. Corecursion and non-divergence in session-typed processes. 2014.
    10.1007/978-3-662-45917-1_11
  7. Militão, F.; Aldrich, J.; Caires, L.. Rely-guarantee protocols. 2014.
    10.1007/978-3-662-44202-9_14
Distinções

Outra distinção

2009 Member of IFIP TC2 WG2.2 "Formal Description of Programming Concepts" (established 1962)