Jump to content

João Marques Silva

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Red Director (talk | contribs) at 20:39, 3 August 2020 (Adding local short description: "Portuguese mathematician and researcher", overriding Wikidata description "Portuguese mathematician" (Shortdesc helper)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.

Former students

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


Flag of PortugalScientist icon

This article about a Portuguese scientist is a stub. You can help Wikipedia by expanding it.

Stub icon

This article about a European mathematician is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=João_Marques_Silva&oldid=971039350"