• 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

NOVA LINCS collaborative research and outreach initiatives

Seminars

2019-12-04 14:00:00

Presenter

Nuno Correia, Luis Caires, João Costa Seco, Nuno Preguiça, Armanda Rodrigues, José Júlio Alferes, Carlos Viegas Damásio, João Moura Pires,

The Type Discipline of Behavioral Separation

Seminars

2013-06-18 14:00:00

Presenter

Luis Caires,

Model-Checking Spatial Properties of Concurrent Systems

Seminars

2004-03-17 14:00:00

Presenter

Luis Caires, Hugo Torres Vieira,

Spatial-Behavioral Types for Distributed and Concurrent Programming

Seminars

2006-10-06 14:00:00

Presenter

Luis Caires,

DI.FCT.UNL Gödel Centenary Seminar – A influência de Gödel na Informática

Seminars

2006-12-13 14:00:00

Presenter

Luis Caires,
  • 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