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 Évora.

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:

1. Parallel and distributed computational models for declarative languages.
2. Extensions to Logic Programming, (eg. contexts.)
3. Using declarative programming (constraints, constraint-based local search, SAT, ...) to security problems.

He is a member of the Portuguese Artificial Intelligence Society (APPIA), the Association for Logic Programming (ALP) and the ACM. He has been a Debian GNU/Linux developer since 2001.

Upcoming events:

• The first workshop on Parallel Methods for Constraint Solving, PMCS 2011, held with CP 2011, the 17th Int. Conf. on Principles and Practice of Constraint Programming.
• The 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011.
• The 5th International Symposium on Intelligent Distributed Computing, IDC 2011.
• 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.
• The Ninth National Conference on XML, Applications and Associated Technologies, XATA 2011.

Past events:

• The 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011.
• The 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009.
• The 24th International Conference on Logic Programming, ICLP 2008.
• CoRTA 2008, Compilers, Related Technologies and Applications.
• The 23nd International Conference on Logic Programming, ICLP 2007.
• CoRTA'07, Compilers, Related Technologies and Applications.
• CICLOPS 2007, the 7th International Colloquium on Implementation of Constraint and Logic Programming Systems.