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