João Marques Silva - João Marques Silva

Tento životopis živé osoby příliš spoléhá na Reference na primární zdroje. Pomozte prosím přidáním sekundární nebo terciární zdroje. Sporný materiál o žijících osobách, který není získáván nebo má špatné zdroje musí být okamžitě odstraněny, zvláště pokud potenciálně hanlivý nebo škodlivé. (Srpna 2012) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

João Paulo Marques Silva je portugalština výzkumník pracuje na SAT. Vyvinul SAT solver UCHOPIT během jeho PhD.

Marques-Silva působil jako odborný asistent od října 2005 do června 2007 ve škole elektroniky a informatiky na University of Southampton. V červnu 2007 byl povýšen na profesora, což je nejvyšší hodnocení profesorů ve Velké Británii. Od roku 2009 se přestěhoval do University College v Dublinu, Irsko.

V oblasti SAT je považován za jednoho z nejdůležitějších výzkumníků. Jeho práce sahají od technik SAT a implementace až po její použitelnost v Model Checking a biologii. Publikoval více než 50 článků.

Bývalí studenti

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

externí odkazy

• https://web.archive.org/web/20090327120917/http://www.csi.ucd.ie/staff/jpms/

Tento článek o portugalském vědci je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

Tento článek o Evropanovi matematik je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.