Joao Marques-Silva

SFI Stokes Professor
Computer Science and Informatics

Complex and Adaptive Systems Laboratory (CASL)
School of Computer Science and Informatics (CSI)
University College Dublin (UCD)
Belfield, Dublin 4, Ireland

Phone: +353 1 716 2603
Fax: +353 1 716 5396

Institutional email:
Personal email:

Recent News

I have moved. More information is available here.

SFI Centre LERO - the Irish Software Research Centre, funded by Science Foundation Ireland.

PI grant BEACON: BoolEAn-based deCision and OptimizatioN procedures, awarded by Science Foundation Ireland.

Co-recipient of the 2009 CAV Award (© Springer), for fundamental contributions to the development of high-performance Boolean satisfiability solvers.

Other recent news are available here.


Decision and function procedures, using SAT, QBF and SMT. Analysis of over-constrained systems. Applied formal methods. Applications in software engineering, including model checking, testing, debugging and security. Applications in artificial intelligence, operations research, design automation and bioinformatics.

Recent research results (software, papers, talks, etc.) are available from here.


Preprints of recent publications are available from here. A more complete list of publications is available from DBLP. Citation data is available from my Google Scholar public profile,






Prospective Students

Additional Information

Available from my institutional web pages at CASL, CSI, and UCD Research, and also from the Complex and Adaptive Systems Laboratory, the School of Computer Science & Informatics, and University College Dublin.

Also, you may want to check out my Google Plus website, and my LinkedIn profile.