Iniciativa IMDEA

Inicio > Personal > Investigadores


Manuel Carro Manuel Carro, Associate Research Professor and Director
PhD - Universidad Politécnica de Madrid (UPM), España
Intereses de Investigación: Programming Language Implementation, Abstract Machines, Parallelizing Compilers, Service-Oriented Computing, Composition / Management / Prediction of Quality of Software Services, Global Program Analysis / Optimization / Verification, Abstract Interpretation, Formal Methods, Resource-Aware Distributed Execution and Logical Agents, Constraint/Logic/Functional Programming Theory and Implementation, Execution Visualization.
Plaza Asociada: Associate Professor at UPM
Juan Caballero Juan Caballero, Associate Research Professor and Deputy Director
PhD - Carnegie Mellon University, USA
Intereses de Investigación: Computer security including systems, software, and network security. Program analysis and its application for malware analysis and building defenses against malicious code. Software engineering. Machine learning for security.
Manuel Hermenegildo Manuel Hermenegildo, Distinguished Professor
PhD - The University of Texas at Austin, USA
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
Gilles Barthe Gilles Barthe, Research Professor
PhD - University of Manchester, UK
Intereses de Investigación: Formal methods; programming languages; software security; cryptography; foundations of mathematics and computer science.
Juan Jose Moreno Juan Jose Moreno, Research Professor (on leave)
PhD - Universidad Politécnica de Madrid (UPM), España
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
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, Dinamarca
Cesar Sanchez Cesar Sanchez, Associate Research Professor and Scientific Researcher (CSIC)
PhD - Stanford University, USA
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 Pierre Ganty, Associate Research Professor
PhD - Université Libre de Bruxelles, Bélgica
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, Associate Research Professor
PhD - Carnegie Mellon University, USA
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.
Alexey Gotsman Alexey Gotsman, Associate Research Professor
PhD - University of Cambridge, UK
Intereses de Investigación: Software verfication, particularly, developing reasoning techniques and automated verification tools for real-world concurrent systems software.
Boris Köpf Boris Köpf, Associate Research Professor
PhD - ETH Zurich, Switzerland
Intereses de Investigación: Security, privacy, program analysis.
Dario Fiore Dario Fiore, Assistant Research Professor
PhD - Universidad de Catania, Italia
Intereses de Investigación: Cryptography and Security, and in particular the design of provably-secure cryptographic primitives and protocols, with a particular emphasis on the security of Cloud computing applications. Some of the topics he works on include: secure delegation of data and computation to the Cloud, homomorphic authenticators, zero-knowledge proof systems, functional encryption, homomorphic encryption, and foundations of cryptography.
Alessandra Gorla Alessandra Gorla, Assistant Research Professor
PhD - Università della Svizzera Italiana, Lugano, Suiza
Intereses de Investigación: Software Engineering, Software Testing and Analysis, Mobile and Web Security
Pedro López-García Pedro López-García, Researcher
PhD - Universidad Politécnica de Madrid (UPM), España
Intereses de Investigación: Energy-aware software development. Analysis, verification and optimization of non-functional properties, mainly resource usage (energy, execution time, user defined), but also determinism and non-failure, etc. Automatic static profiling of resources. Abstract Interpretation. Automatic control of resources in parallel and distributed computing. Constraint and logic programming.
Plaza Asociada: Scientific Researcher at the Consejo Superior de Investigaciones Cientificas (CSIC), España
José Francisco Morales José Francisco Morales, Researcher
PhD - Universidad Politécnica de Madrid (UPM), España
Intereses de Investigación: Constraint logic programming, assertion languages, abstract interpretation, program analysis and transformations, compiler optimizations, multiparadigm language design and implementation, abstract machines, native code generation

Investigadores invitados y asociados

Roberto Giacobazzi Roberto Giacobazzi, Affiliate Faculty
Full Professor, Universidad de Verona, Italia
Anindya Banerjee Anindya Banerjee, Affiliate Faculty
Program Director, National Science Foundation, EEUU
Intereses de Investigación: Program analysis and verification, program logics, concurrency, programming language semantics, abstract interpretation and type systems.

Antiguos investigadores invitados

Hongseok Yang Hongseok Yang, Professor of Computer Science
Universidad de Oxford, Reino Unido
Peter Stuckey Peter Stuckey, Visiting Faculty
Professor, The University of Melbourne, Australia
María García de la Banda María García de la Banda, Visiting Faculty
Professor, Monash University, Australia
Jens Grossklags Jens Grossklags, Assistant Professor
Universidad Estatal de Pensilvania, USA
Somesh Jha Somesh Jha, Professor
Universidad de Wisconsin, USA
Bogdan Warinschi Bogdan Warinschi, Research Scientist
University of Bristol, UK
Michael Ernst Michael Ernst, Professor
Universidad de Washington, EEUU
Javier Esparza Javier Esparza, Professor
Faculty of Computer Science, Technische Universität München
Alan Mycroft Alan Mycroft, Professor
University of Cambridge, UK
David Naumann David Naumann, Professor
Stevens Institute of Technology, Hoboken, USA
Martin Wirsing Martin Wirsing, Professor
Ludwig-Maximilians University of München, Germany
Neil Jones Neil Jones, Professor
DIKU University of Copenhagen, Dinamarca