...
Joao Marques-Silva holds a PhD degree in Electrical Engineering and
Computer Science from the University of Michigan, Ann Arbor, in 1995,
and the Habiliation degree in Computer Science from the Technical
University of Lisbon, Portugal, in 2004. Currently, he is Stokes
Professor of Computer Science and Informatics at University College
Dublin (UCD), Ireland. He is also Professor of Computer Science at
Instituto Superior Tecnico (IST), Portugal. His research interests
include algorithms for constraint solving and optimization, and
applications in formal methods, artificial intelligence, and
bioinformatics. He received the 2009 CAV award for fundamental
contributions to the development of high-performance Boolean
satisfiability solvers.
| Attachments | ||
|---|---|---|
|