Joao Marques Silva received BSc and MSc degrees in computer engineering from IST/Technical University of Lisbon, Portugal, in 1988 and 1991, respectively, a PhD degree in electrical engineering and computer science from the University of Michigan, Ann Arbor, MI, USA, in 1995, and the Habilitation degree in computer science from the Technical University of Lisbon in 2004.He has been Professor of Informatics, Faculty of Science, University of Lisbon (FCUL), since 2015. Before joining FCUL, Dr. Joao Marques Silva was affiliated with Instituto Superior Tecnico, Portugal; University College Dublin, Ireland; and University of Southampton, United Kingdom. Dr. Marques-Silva current research interests include large-scale data analysis problems, using constraint-based methods, with applications in data science, artificial intelligence, software engineering, and operations research. Dr. Marques-Silva is a Fellow of the IEEE and a member of the ACM. Dr. Marques-Silva was a recipient of the 2009 CAV Award for fundamental contributions to the development of high-performance Boolean satisfiability solvers.