João Paulo Marques Silva is a

Portuguese Portuguese may refer to: * anything of, from, or related to the country and nation of Portugal ** Portuguese cuisine, traditional foods ** Portuguese language, a Romance language *** Portuguese dialects, variants of the Portuguese language ** Portu ...

researcher working on

SAT The SAT ( ) is a standardized test widely used for college admissions in the United States. Since its debut in 1926, its name and scoring have changed several times; originally called the Scholastic Aptitude Test, it was later called the Schol ...

. He developed the SAT solver

GRASP A grasp is an act of taking, holding or seizing firmly with (or as if with) the hand. An example of a grasp is the handshake, wherein two people grasp one of each other's like hands. In zoology particularly, prehensility is the quality of an ap ...

during his PhD. 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 , mottoeng = The Heights Yield to Endeavour , type = Public research university , established = 1862 – Hartley Institution1902 – Hartley University College1913 – Southampton University Coll ...

. In June 2007 he was promoted to Professor, the highest Professorship ranking in the UK. Since 2009 he moved to

University College Dublin University College Dublin (commonly referred to as UCD) ( ga, Coláiste na hOllscoile, Baile Átha Cliath) is a public research university in Dublin, Ireland, and a member institution of the National University of Ireland. With 33,284 student ...

, Ireland. In the field of SAT he is seen as one of the most important researchers. His works ranges from SAT techniques and implementation to its applicability in Model Checking and biology. He has published over 50 papers.

Former students

* Huan Chen * António Morgado * Vasco Manquinho * Inês Lynce

External links

* https://web.archive.org/web/20090327120917/http://www.csi.ucd.ie/staff/jpms/ Living people Year of birth missing (living people) {{Europe-mathematician-stub