• 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

Salvador Abreu

Salvador is Full Professor at the University of Évora (UE) School of Science and Technology since 2013, Senior Researcher at NOVA LINCS and President of the Scientific Council at the UE Institute for Research and Advanced Training (IIFA). He currently directs the PhD Program in Informatics at UE. He holds a Habilitation in Informatics from the University of Évora (2009), a PhD in Informatics from Universidade NOVA de Lisboa (1994), and a BSc in Informatics Engineering from Universidade Nova de Lisboa (1987). Salvador successfully supervised 9 doctoral theses and is currently directing 3. He was granted an IBM SUR award in 2013 and a JSPS Long-Term Invitation Fellowship in 2015. He participates or participated as a project member or Principal Investigator in nationally and European funded projects, including OAR, AJACS, STAMPA, JEDI, HORUS, VAPS. Recent projects include BIOECOSYS (outcome: metaheuristics applied to forest management and ecological resource planning), AI4EU (outcome: framework for verifiable AI), EUGREEN (ongoing, expected outcome: framework for human/AI decision-making) and PaCoMoCo (ongoing: expected outcome hybrid parallel constraint solving framework).

People

Publications Projects Graduations Prototypes Seminars

Weaving of Metaheuristics with Cooperative Parallelism

InProceedings

Published in 22/08/2018

Authors

Jheisson López, Danny Múnera, Daniel Diaz, Salvador Abreu,

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency

Article

Published in 01/02/2006

Authors

Luis Caires, Salvador Abreu,

Expressivité des logiques spatiales

Dissertations PhD

Published in 01/11/2004

Authors

Salvador Abreu, Luis Caires, Daniel Hirschkoff,
  • 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