Investigadores
 |
Manuel Hermenegildo, Research Professor and Scientific Director
PhD - The University of Texas at Austin, USA
Bio | Página personal | Contacto
Intereses de Investigación: Abstract interpretation-based program verification, debugging, and
optimization; multi-paradigm programming; resource analysis;
parallelizing compilers.
Plaza Asociada: Full professor at UPM
|
 |
Manuel Clavel, Associate Research Professor and Deputy Director
PhD - University of Navarra, Spain
Bio | Página personal | Contacto
Intereses de Investigación: Formal specification and verification, and rigorous tool supported
modeling and validation of software systems.
Plaza Asociada: Associate Professor at Universidad Complutense, Spain
|
 |
Gilles Barthe, Research Professor
PhD - University of Manchester, UK
Bio | Página personal | Contacto
Intereses de Investigación: Formal methods; programming languages; software security;
cryptography; foundations of mathematics and computer science.
|
 |
Anindya Banerjee, Research Professor
PhD - Kansas State University, USA
Bio | Página personal | Contacto
Intereses de Investigación: 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 | Página personal | Contacto
Intereses de Investigación: 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 | Página personal | Contacto
Intereses de Investigación: 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 | Página personal | Contacto
Intereses de Investigación: 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 | Página personal | Contacto
Intereses de Investigación: Component-based systems, specification and modeling
languages in software engineering, and declarative
programming.
Plaza Asociada: Full professor at UPM
|
 |
John Gallagher, Research Professor
(part time)
PhD - Trinity College, Dublin, Ireland
Bio | Página personal | Contacto
Intereses de Investigación: Program transformation and generation; program analysis; constraint
logic programming, semantics-based emulation of languages and systems.
Plaza Asociada: Full professor at Roskilde University, Denmark
|
 |
Pedro Lopez-Garcia, Assistant Research Professor (tenure-track)
PhD - Technical University of Madrid (UPM), Spain
Bio | Página personal | Contacto
Intereses de Investigación: 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.
Plaza Asociada: Scientific Researcher at the Consejo Superior de Investigaciones Cientificas (CSIC), España
|
Investigadores invitados
 |
Laurent Mauborgne, visiting during Fall 2009/Spring 2010
Home Page
Professor
École Normale Supérieure, France
|
Investigadores invitados anteriores
 |
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
|
|
