João Paulo Marques Silva es un investigador portugués que trabaja en SAT . Desarrolló el solucionador SAT GRASP durante su doctorado.
Marques-Silva fue profesor titular desde octubre de 2005 hasta junio de 2007 en la escuela de Electrónica y Ciencias de la Computación de la Universidad de Southampton . En junio de 2007 fue ascendido a profesor, el ranking de cátedra más alto del Reino Unido. Desde 2009 se trasladó a University College Dublin , Irlanda.
En el campo del SAT se le considera uno de los investigadores más importantes. Sus trabajos abarcan desde técnicas e implementación SAT hasta su aplicabilidad en Model Checking y biología. Ha publicado más de 50 artículos.
Antiguos alumnos
- Huan Chen
- António Morgado
- Vasco Manquinho
- Inês Lynce