Professor (Catedrático) at the Computer
of Universidade de Évora and
Researcher at CENTRIA,
the Artificial Intelligence Research Center
of Universidade Nova de Lisboa.
Salvador Abreu graduated in Informatics Engineering at
Universidade Nova de Lisboa in 1987, and got his PhD. in
Computer Science in 1994 also at Universidade Nova de Lisboa.
In 2009 he passed an Agregação
(Habilitation) in Computer Science at Universidade de
He joined Universidade de Évora in 1995, as Assistant Professor
at the Mathematics Department and was one of the founding
members of the Computer Science Department,
created in 2000.
Salvador's present research interests include:
Parallel and distributed computational models for declarative
Extensions to Logic Programming, (eg. contexts.)
Using declarative programming (constraints, constraint-based
local search, SAT, ...) to security problems.
He is a member of the Portuguese Artificial Intelligence Society
for Logic Programming (ALP) and
the ACM. He has been
a Debian GNU/Linux developer
The first workshop
Methods for Constraint Solving, PMCS 2011, held with CP
2011, the 17th Int. Conf. on Principles and Practice of
International Conference on Applications of Declarative
Programming and Knowledge Management, INAP 2011.
The 5th International
Symposium on Intelligent Distributed Computing, IDC
The 11th International Colloquium on
Implementation of Constraint and LOgic Programming
Systems, CICLOPS 2011, held with ICLP 2011.
CoRTA 2011, Compilers, Related
Technologies and Applications, part
of InForum 2011.
The 15th Portuguese
Conference on Artificial Intelligence, EPIA 2011.
National Conference on XML, Applications and Associated
Technologies, XATA 2011.