João Marques Silva
Encyclopedia
João Paulo Marques Silva is a Portuguese
researcher working on SAT
. He developed the SAT solver GRASP
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
. In June 2007 he was promoted to Professor, the highest Professorship ranking in the UK. Since 2009 he moved to University College Dublin
, 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.
Portugal
Portugal , officially the Portuguese Republic is a country situated in southwestern Europe on the Iberian Peninsula. Portugal is the westernmost country of Europe, and is bordered by the Atlantic Ocean to the West and South and by Spain to the North and East. The Atlantic archipelagos of the...
researcher working on SAT
Boolean satisfiability problem
In computer science, satisfiability is the problem of determining if the variables of a given Boolean formula can be assigned in such a way as to make the formula evaluate to TRUE...
. He developed the SAT solver GRASP
GRASP (SAT solver)
GRASP is a well known SAT instance solver. It was developed by João Marques Silva, a Portuguese computer science researcher. It stands for Generic seaRch Algorithm for the Satisfiability Problem.- References :...
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
University of Southampton
The University of Southampton is a British public university located in the city of Southampton, England, a member of the Russell Group. The origins of the university can be dated back to the founding of the Hartley Institution in 1862 by Henry Robertson Hartley. In 1902, the Institution developed...
. 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
University College Dublin ) - formally known as University College Dublin - National University of Ireland, Dublin is the Republic of Ireland's largest, and Ireland's second largest, university, with over 1,300 faculty and 17,000 students...
, 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.
External links
- http://www.csi.ucd.ie/staff/jpms/