João Paulo Marques Silva is a Portuguese researcher who studies the satisfiability problem (SAT) and automated reasoning. He is an ICREA Research Professor at the University of Lleida.

From 2005 to 2009, Marques-Silva worked as a Senior Lecturer and later became a Professor at the School of Electronics and Computer Science at the University of Southampton. In 2009, he moved to University College Dublin in Ireland. From 2020 until March 2024, he served as a CNRS research director at IRIT in Toulouse, France, before joining ICREA.

In the field of SAT, Marques-Silva is considered one of the most important researchers. His work includes developing SAT techniques, creating tools for solving SAT problems, and applying SAT in model checking and biology. He has published more than 50 papers. During his PhD, he created the SAT solver GRASP.