English | Español Contacto Institutos

Menu:

Noticias:

Aleks Nanevski (Ph.D. Carnegie Mellon, 2004) se ha incorporado a la plantilla de IMDEA Software como Assistant Research Professor. Realizó estancia postdoctoral en Microsoft Research, Cambridge[leer mas]

Pierre Ganty (Ph.D. Université Libre de Bruxelles, 2007) se ha unido a la plantilla de IMDEA Software como Assistant Research Professor. Realizo su posdoctorado en UCLA [leer mas]


Otras Noticias de IMDEA Software

Investigadores

Manuel Hermenegildo 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 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 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 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 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 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 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 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 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 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 Laurent Mauborgne, visiting during Fall 2009/Spring 2010
Home Page
Professor
École Normale Supérieure, France

Investigadores invitados anteriores

Alan Mycroft Alan Mycroft, visiting during Fall 2009
Home Page
Professor
University of Cambridge, UK
Peter Stuckey Peter Stuckey, visiting during Fall 2008
Home Page
Professor
The University of Melbourne, Australia
Maria Garcia de la Banda Maria Garcia de la Banda, visiting during Fall 2008
Home Page
Associate Professor
Monash University, Australia