João Marques Silva

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.

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

* Vasco Manquinho
* Inês Lynce

External links

* http://www.ecs.soton.ac.uk/~jpms/


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • João Cunha-Silva — Estadísticas de João Cunha Silva Origen: Lisboa, Portugal Fecha de nacimiento: 27 de noviembre de 1967 Altura: 1.72 m Peso …   Wikipedia Español

  • João Marques de Oliveira — João Marques de Oliveira, eigentlich João Marques da Silva Oliveira, (* 23. August 1853 in Porto; † 9. Oktober 1927 ebenda) war ein portugiesischer Maler. Leben Mit elf Jahren kam Oliveira 1864 an die Academia Portuense de Belas Artes und blieb… …   Deutsch Wikipedia

  • João Marques de Oliveira — (1853 1927) was a Portuguese naturalist painter. He studied in the Academy of Fine Arts in Porto and in 1873 travelled to France with is colleague António Silva Porto, were they studied with academical painters Adolphe Yvon and Alexandre Cabanel …   Wikipedia

  • Silva — For other uses, see Silva (disambiguation). Contents 1 People 1.1 Artists and performance arts 1.1.1 Actors …   Wikipedia

  • Silva (Shaman King) — Silva Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le patronyme Silva – da Silva en langue portugaise, qu on doit traduire comme de la Silva en français – est un nom portugais issu de la Tour de… …   Wikipédia en Français

  • Joao Botelho — João Botelho João Botelho est un réalisateur portugais, né à Lamego, au nord du Portugal, le 11 mai 1949. Il a réalisé et écrit le scénario de nombreux films. Ses œuvres ont remporté plusieurs récompenses, dont le Tucano de Ouro du… …   Wikipédia en Français

  • João Botelho — est un réalisateur portugais, né à Lamego, au nord du Portugal, le 11 mai 1949. Il a réalisé et écrit le scénario de nombreux films. Ses œuvres ont remporté plusieurs récompenses, dont le Tucano de Ouro du meilleur réalisateur au… …   Wikipédia en Français

  • João Goulart — Mandats 24e président de la République fédérative du Brésil 7 septembre  …   Wikipédia en Français

  • Joao do Canto e Castro — João do Canto e Castro da Silva Antunes [ˈʒu̯ɐ̃u̯ du ˈkɐ̃tu i ˈkaʃtɾu dɐ ˈsiɫvɐ ɐ̃ˈtunɨʃ] (* 19. Mai 1862 in Lissabon; † 14. März 1934 ebenda) war ein portugiesischer Admiral und Politiker, von 1918 bis 1919 Staatspräsident der ersten Republik in …   Deutsch Wikipedia

  • João do Canto e Castro — da Silva Antunes João do Canto e Castro da Silva Antunes [ˈʒu̯ɐ̃u̯ du ˈkɐ̃tu i ˈkaʃtɾu dɐ ˈsiɫvɐ ɐ̃ˈtunɨʃ] (* 19. Mai 1862 in Lissabon; † 14. März 1934 ebenda) war ein portugiesischer Admiral und Politiker, von 1918 bis 1919 Staatspräsident der… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”