Faculty

	Manuel Hermenegildo, Research Professor and Scientific Director PhD - The University of Texas at Austin, USA Home Page Research Interests: Abstract interpretation-based program analysis, verification, debugging and optimization; programming language design and implementation; multi-paradigm programming; parallelizing compilers. Dual Appointment: Full Professor at UPM
	Manuel Carro, Research Professor and Deputy Director PhD - Technical University of Madrid (UPM), Spain Home Page Research Interests: 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. Dual Appointment: Associate Professor at UPM
	Gilles Barthe, Research Professor PhD - University of Manchester, UK Home Page Research Interests: Formal methods; programming languages; software security; cryptography; foundations of mathematics and computer science.
	Anindya Banerjee, Research Professor PhD - Kansas State University, USA Home Page Research Interests: Program analysis and verification, program logics, concurrency, programming language semantics, abstract interpretation and type systems.
	Juan Jose Moreno, Research Professor PhD - Technical University of Madrid (UPM), Spain Home Page 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 Home Page 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
	Manuel Clavel, Associate Research Professor PhD - University of Navarra, Spain Home Page Research Interests: Formal specification and verification, and rigorous tool supported modeling and validation of software systems. Dual Appointment: Associate Professor at Universidad Complutense, Spain
	Cesar Sanchez, Assistant Research Professor (tenure-track) and Scientific Researcher (CSIC) PhD - Stanford University, USA Home Page 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. Dual Appointment: Scientific Researcher at the Spanish National Research Council (CSIC)
	Pierre Ganty, Assistant Research Professor (tenure-track) PhD - Université Libre de Bruxelles, Belgium Home Page 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 Home Page 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.
	Boris Köpf, Assistant Research Professor (tenure-track) PhD - ETH Zurich, Switzerland Home Page Research Interests: Security, privacy, program analysis.
	Alexey Gotsman, Assistant Research Professor (tenure-track) PhD - University of Cambridge, UK Home Page Research Interests: Software verfication, particularly, developing reasoning techniques and automated verification tools for real-world concurrent systems software.
	Juan Caballero, Assistant Research Professor (tenure-track) PhD - Carnegie Mellon University, USA Home Page Research Interests: 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.
	Pavithra Prabhakar, Assistant Research Professor (tenure-track) PhD - University of Illinois at Urbana Champaign Home Page Research Interests: Design, Analysis and Verification of Cyber-Physical Systems: Approximation techniques, Decidability results; Applications of Automata Theory and Logic.
	Pedro López-García, Researcher PhD - Technical University of Madrid (UPM), Spain Home Page 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)
	Laurent Mauborgne, Researcher PhD - École normale supérieure, in Paris, France Home Page Research Interests: Program analysis, Abstract interpretation, Abstract domains, Symbolic representations.
	Pierre Yves Strub, Researcher PhD - École Polytechnique, France Home Page Research Interests: Type theory, Proof assistants, Provable security

Former Visiting Faculty

	Javier Esparza Home Page Faculty of Computer Science, Technische Universität München
	Alan Mycroft Home Page University of Cambridge, UK
	David Naumann Home Page Stevens Institute of Technology, Hoboken, USA
	Martin Wirsing Home Page Ludwig-Maximilians University of München, Germany
	Neil Jones Home Page DIKU University of Copenhagen, Denmark
	Peter Stuckey Home Page The University of Melbourne, Australia
	María García de la Banda Home Page Monash University, Australia