João Paulo Marques Silva is a Portuguese researcher working on SAT. He developed the SAT solver GRASP during his PhD.