• About Us
  • Research
  • People
  • Publications
    • Articles
    • Books
    • Books Chapters
    • Editorials
    • In Proceedings
  • Projects
  • Activities
    • Graduations
    • Seminars
    • Distinguished Lectures
  • Society
Login
  • About Us
  • Research
  • People
  • Publications
    • Articles
    • Books
    • Books Chapters
    • Editorials
    • In Proceedings
  • Projects
  • Activities
    • Graduations
    • Seminars
    • Distinguished Lectures
  • Society
NOVA LINCS

Luis Caires

Luís Caires is currently full Professor of Computer Science and ERA Chair of UE BIG at Técnico University of Lisbon. He is now integrated researcher at INESCid and associate researcher at NOVA-LINCS. He was Founding Director of NOVA LINCS, and Head of the Software Systems Group since the Lab foundations until July 2023. He is a member of IFIP WG 2.2, and (co-)author of several widely acknowledged contributions to concurrent and distributed programming, and trustworthy component and service-oriented computing and models (programming abstractions, logics, types, and tools), several developed in international collaborations. We publish at top venues such as POPL, ECOOP, ESOP, Concur, FoSSaCS. He was an organizer of ICALP'05, PC co-chair of Concur'07, and is member of Ed. Board of JLAMP. He often serves as PC member of top conferences in the field, and lectured at several international events.

People

Publications Projects Graduations Prototypes Seminars

Model Based Security Control Prototype

Prototype

Authors

Luis Caires, João Costa Seco,

Secure LiveWeb – Type Based Access Control in Web Applications

Prototype

Authors

Luis Caires, João Costa Seco, Jorge A Pérez, Luísa Lourenço, Miguel Domingues, Hugo Torres Vieira,

Modular LiveWeb – Secure dynamic modules

Prototype

Authors

Luis Caires, João Costa Seco, Jorge A Pérez, Miguel Domingues, Hugo Torres Vieira,

The Spatial Logic Model Checker v1.3

Prototype

Authors

Luis Caires, Hugo Torres Vieira,

ComponentJ

Prototype

Authors

Luis Caires, João Costa Seco,

SLMC-K – extension of SLMC for checking security protocol verification

Prototype

Authors

Luis Caires, Bernardo Toninho,

Model Checker for SOA systems modeled in the Conversation Calculus

Prototype

Authors

Luis Caires, Hugo Torres Vieira,
  • Home
  • Events
  • About Us
  • News
  • People
  • Society

follow us

NOVA School of Science & Technology
Department of Computer Science
Campus de Caparica
2829-516 Caparica
Portugal

nova-lincs.sec@fct.unl.pt
direct +351 212948536
central +351 212948300

NOVA LINCS receives financial support from FCT under the funding:

UIDB/04516/2020 UIDP/04516/2020