English | Español Contact Institutes

Menu:

Latest News:

Aleks Nanevski (Ph.D. Carnegie Mellon, 2004) has joined IMDEA-Software as an Assistant Research Professor. He previously held a postdoctoral researcher position at Microsoft Research Cambridge. [Read More]

Pierre Ganty (Ph.D. Université Libre de Bruxelles, 2007) recently joined IMDEA-Software as an Assistant Research Professor. He previously held a postdoctoral position at UCLA.[Read More]


Other IMDEA Software news

Post-doctoral Researchers

Cesar Kunz Cesar Kunz,
PhD - École des Mines de Paris (ENSMP), France
Bio | Home Page | Contact
Research Interests: Interaction between compilation and verification condition generators, proof carrying code.
Daniel Hedin Daniel Hedin,
PhD - Chalmers, Sweden
Bio | Home Page | Contact
Research Interests: Programming languages: semantics, static analysis of programs in particular type systems. Formal Proofs: practical use, modelling, type theory, proof assistants. Security: information flow security, declassification, language-based techniques for enforcement.
Marina Egea Marina Egea,
PhD - Universidad Complutense, Spain
Bio | Home Page | Contact
Research Interests: Model-driven software development, with special emphasis on model-driven software and system security; formal definition of security-design modeling languages; implementation of tools supporting rigorous analysis and transformation of security-design models.
Alexander Malkis Alexander Malkis,
PhD - University of Freiburg, Germany
Bio | Home Page | Contact
Research Interests: Program analysis, verification, concurrency, model-checking, abstract interpretation, assume-guarantee reasoning, modularity, compositionality, simulation, refinement, privacy, security, combinatorics, enumeration, polyforms.

Research Students

Alvaro Garcia Alvaro Garcia,
MS - Technical University of Madrid (UPM), Spain
Home Page | Contact
Research Interests: Type theory, dependent tpyes and genericity, in particular how to extend dependent types in a modular way, with regardas to the expression problem.
Adviser: Pablo Nogueira (UPM)
Miguel Angel García de Dios Miguel Angel García de Dios,
MS - Universidad Complutense, Spain
Home Page | Contact
Research Interests: Formal specification and verification, and rigorous tool supported modeling and validation of software systems.
Adviser: Manuel Clavel
Julian Samborski Julian Samborski,
BS - Universidad Nacional de Rosario (UNR), Argentina
Home Page | Contact
Research Interests: Applications of Formal Methods and Abstract Interpretation to Program Verification; Quantum Computing; Functional Programming Languages; Semantics.
Adviser: Cesar Sanchez, Manuel Hermenegildo
Juan Manuel Crespo Juan Manuel Crespo,
BS - Universidad Nacional de Rosario (UNR), Argentina
Home Page | Contact
Research Interests: Programming Language Semantics, Type Theory, Functional programming, Category Theory, Logic and Software Verification.
Adviser: Gilles Barthe
Federico Olmedo Federico Olmedo,
BS - Universidad Nacional de Rosario (UNR), Argentina
Home Page | Contact
Research Interests: Verification of Cryptographic Systems and Semantics of Programming Languages
Adviser: Gilles Barthe
Teresa Trigo Teresa Trigo,
MS - Technical University of Madrid (UPM), Spain
Home Page | Contact
Research Interests: Software verification techniques based on static analysis and its application to embedded systems.Resource usage analysis and Automatic parallelization.
Adviser: Pedro Lopez-Garcia
Antonio Artés Antonio Artés,
MS - Technical University of Madrid (UPM), Spain
Home Page | Contact
Research Interests: Power-aware, temperature-aware and reliability-aware desing of low power semiconductor devices.
Adviser: David Atienza (UCM), J.L. Ayala (UCM) and Cesar Sanchez (IMDEA)
Santiago Zanella Santiago Zanella,
MS - Universidad Nacional de Rosario (UNR), Argentina
Home Page | Contact
Research Interests: Formal methods in general, and in particular in: verification of cryptographic systems, language-based security, semantics of programming languages, type theory, theorem provers and process calculi.
Adviser: Gilles Barthe
Alejandro Sanchez Alejandro Sanchez,
BS - Universidad Nacional de Cordoba (UNC), Argentina
Home Page | Contact
Research Interests: Formal methods, program verification, dynamic memory analysis, concurrent systems, type theory, functional programming
Adviser: César Sánchez

Interns

Carolina Dania Carolina Dania,
BS - Universidad Nacional de Cordoba (UNC), Argentina
Home Page | Contact
Research Interests: Formal specification and verification, rigorous tool supported modeling and validation of software systems, programming languages, automation, and SAT solvers.
Adviser: Manuel Clavel
Gonzalo Ortiz Gonzalo Ortiz,
MS - Universidad Complutense, Spain
Home Page | Contact
Research Interests: Formal specification and verification, and rigorous tool supported modeling and validation of software systems.
Adviser: Manuel Clavel