João Paulo Marques Silva is a Portuguese 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 Test score, scoring have changed several times. For much of its history, it was called the Scholastic Aptitude Test ...

. 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 Zoology ( , ) is the scientific study of an ...

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 The University of Southampton (abbreviated as ''Soton'' in post-nominal letters) is a public university, public research university in Southampton, England. Southampton is a founding member of the Russell Group of research-intensive universit ...

. 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, is a public research university in Dublin, Ireland, and a collegiate university, member institution of the National University of Ireland. With 38,417 students, it is Ireland's largest ...

, 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 In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software syst ...

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