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 analysis, verification,
debugging and optimization; programming language design and
implementation; multi-paradigm programming; 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.
Plaza Asociada: Scientific Researcher at the Consejo Superior de Investigaciones Cientificas (CSIC), España
|
 |
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.
|
 |
Boris Köpf, Assistant Research Professor (tenure-track)
PhD - ETH, Switzerland
Bio | Página personal | Contacto
Intereses de Investigación: Information Security, Side-Channel Attacks, Quantitative Information Flow, Verification, Algorithms
|
 |
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
 |
Mark Marron,
PhD - University of New Mexico, USA
Bio | Página personal | Contacto
Intereses de Investigación: Program analysis, optimization and error detection. Development of static analysis techniques that are capable of providing accurate information about the behaviour of a program, in particular the program heap.
|
 |
Laurent Mauborgne,
PhD - École normale supérieure, in Paris, France
Bio | Página personal | Contacto
Intereses de Investigación: Program analysis, Abstract interpretation, Abstract domains, Symbolic representations.
|
Investigadores invitados
 |
Javier Esparza, visiting during Spring 2010
Home Page
Professor
Faculty of Computer Science, Technische Universität München
|
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
|
|
