João Paulo Marques Silva is a Portuguese researcher working on SAT.
Marques-Silva was a Senior Lecturer from October 2005 until June 2007 at the school of Electronics and Computer Science of the University of Southampton.
In June 2007 he was promoted to Professor, the highest Professorship ranking in the UK.
His works ranges from SAT techniques and implementation to its applicability in model checking and biology.
You can help Wikipedia by expanding it.This article about a European mathematician is a stub.