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).