Faculty
 |
Manuel Hermenegildo, Research Professor and Scientific Director
PhD - The University of Texas at Austin, USA
Bio | Home Page | Contact
Research Interests: Abstract interpretation-based program verification, debugging, and
optimization; multi-paradigm programming; resource analysis;
parallelizing compilers.
Dual Appointment: Full professor at UPM
|
 |
Manuel Clavel, Associate Research Professor and Deputy Director
PhD - University of Navarra, Spain
Bio | Home Page | Contact
Research Interests: Formal specification and verification, and rigorous tool supported
modeling and validation of software systems.
Dual Appointment: Associate Professor at Universidad Complutense, Spain
|
 |
Gilles Barthe, Research Professor
PhD - University of Manchester, UK
Bio | Home Page | Contact
Research Interests: Formal methods; programming languages; software security;
cryptography; foundations of mathematics and computer science.
|
 |
Anindya Banerjee, Research Professor
PhD - Kansas State University, USA
Bio | Home Page | Contact
Research Interests: Program analysis and verification, program logics, concurrency,
programming language semantics, abstract interpretation
and type systems.
|
 |
Cesar Sanchez, Assistant Research Professor (tenure-track)
PhD - Stanford University, USA
Bio | Home Page | Contact
Research Interests: Applications of logic to computer science, and applicable formal
methods for the design, analysis and verification of distributed
systems, real-time systems and embedded systems.
|
 |
Pierre Ganty, Assistant Research Professor (tenure-track)
PhD - Université Libre de Bruxelles
Bio | Home Page | Contact
Research Interests: Verification of systems with infinitely many states. Abstraction refinement techniques for verification. Bounded analysis techniques. Logic and automata theory. Algorithms and tools for the design and verification of reactive and distributed systems. Program analysis. Formal models for distributed systems: Petri nets.
|
 |
Aleks Nanevski, Assistant Research Professor (tenure-track)
PhD - Carnegie Mellon University, USA
Bio | Home Page | Contact
Research Interests: Design and implementation of programming languages and methodologies that facilitate specification and verification of various program properties.
Formal verification methods, such as interactive and automated theorem proving, decision procedures, program analysis and software model checking.
|
 |
Juanjo Moreno Navarro, Research Professor (former Deputy Director, on leave)
PhD - Technical University of Madrid (UPM), Spain
Bio | Home Page | Contact
Research Interests: Component-based systems, specification and modeling
languages in software engineering, and declarative
programming.
Dual Appointment: Full professor at UPM
|
 |
John Gallagher, Research Professor
(part time)
PhD - Trinity College, Dublin, Ireland
Bio | Home Page | Contact
Research Interests: Program transformation and generation; program analysis; constraint
logic programming, semantics-based emulation of languages and systems.
Dual Appointment: Full professor at Roskilde University, Denmark
|
 |
Pedro Lopez-Garcia, Assistant Research Professor (tenure-track)
PhD - Technical University of Madrid (UPM), Spain
Bio | Home Page | Contact
Research Interests: automatic analysis and verification of global and complex program
properties (resource usage, non-failure, determinism, ...) and its
application to embedded systems; performance debugging; granularity
control for parallel and distributed computing; and constraint and
logic programming.
Dual Appointment: Scientific Researcher at the Spanish National Research Council (CSIC)
|
Visiting Faculty
 |
Laurent Mauborgne, visiting during Fall 2009/Spring 2010
Home Page
Professor
École Normale Supérieure, France
|
Previous Visiting Faculty
 |
Alan Mycroft, visiting during Fall 2009
Home Page
Professor
University of Cambridge, UK
|
 |
Peter Stuckey, visiting during Fall 2008
Home Page
Professor
The University of Melbourne, Australia
|
 |
Maria Garcia de la Banda, visiting during Fall 2008
Home Page
Associate Professor
Monash University, Australia
|
|
