João Marques Silva
Male, Person
Who is João Marques Silva?
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.
We need you!
Help us build the largest biographies collection on the web!
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"João Marques Silva." Biographies.net. STANDS4 LLC, 2024. Web. 7 May 2024. <https://www.biographies.net/people/en/joao_marques_silva>.
Discuss this João Marques Silva biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In