Investigadores postdoctorales
 |
Cesar Kunz, Post-doctoral Researcher
PhD - École des Mines de Paris (ENSMP), France
Bio | Página personal | Contacto
Intereses de Investigación: Interaction between compilation and verification condition generators, proof carrying code.
|
 |
Daniel Hedin, Post-doctoral Researcher
PhD - Chalmers, Sweden
Bio | Página personal | Contacto
Intereses de Investigación: 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, Post-doctoral Researcher
PhD - Universidad Complutense, Spain
Bio | Página personal | Contacto
Intereses de Investigación: 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, Post-doctoral Researcher
PhD - University of Freiburg, Germany
Bio | Página personal | Contacto
Intereses de Investigación: Program analysis, verification, concurrency, model-checking, abstract interpretation, assume-guarantee reasoning, modularity, compositionality, simulation, refinement, privacy, security, combinatorics, enumeration, polyforms.
|
Estudiantes de pre-doctorado
 |
Alvaro Garcia, PhD Student
MS - Technical University of Madrid (UPM), Spain
Página personal | Contacto
Intereses de Investigación: Type theory, dependent tpyes and genericity, in particular how to extend
dependent types in a modular way, with regardas to the expression problem.
Tutor: Pablo Nogueira (UPM)
|
 |
Miguel Angel García de Dios, PhD Student
MS - Universidad Complutense, Spain
Página personal | Contacto
Intereses de Investigación: Formal specification and verification, and rigorous tool supported
modeling and validation of software systems.
Tutor: Manuel Clavel
|
 |
Julian Samborski, PhD Student
BS - Universidad Nacional de Rosario (UNR), Argentina
Página personal | Contacto
Intereses de Investigación: Applications of Formal Methods and Abstract Interpretation to Program
Verification; Quantum Computing; Functional Programming Languages;
Semantics.
Tutor: Cesar Sanchez, Manuel Hermenegildo
|
 |
Juan Manuel Crespo, PhD Student
BS - Universidad Nacional de Rosario (UNR), Argentina
Página personal | Contacto
Intereses de Investigación: Programming Language Semantics, Type Theory, Functional programming,
Category Theory, Logic and Software Verification.
Tutor: Gilles Barthe
|
 |
Federico Olmedo, PhD Student
BS - Universidad Nacional de Rosario (UNR), Argentina
Página personal | Contacto
Intereses de Investigación: Verification of Cryptographic Systems and Semantics of Programming Languages
Tutor: Gilles Barthe
|
 |
Teresa Trigo, PhD Student
MS - Technical University of Madrid (UPM), Spain
Página personal | Contacto
Intereses de Investigación: Software verification techniques based on static analysis and its
application to embedded systems.Resource usage analysis and Automatic parallelization.
Tutor: Pedro Lopez-Garcia
|
 |
Antonio Artés, PhD Student
MS - Technical University of Madrid (UPM), Spain
Página personal | Contacto
Intereses de Investigación: Power-aware, temperature-aware and reliability-aware desing of low power semiconductor devices.
Tutor: David Atienza (UCM), J.L. Ayala (UCM) and Cesar Sanchez (IMDEA)
|
 |
Santiago Zanella, PhD Student
MS - Universidad Nacional de Rosario (UNR), Argentina
Página personal | Contacto
Intereses de Investigación: 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.
Tutor: Gilles Barthe
|
 |
Alejandro Sanchez, PhD Student
BS - Universidad Nacional de Cordoba (UNC), Argentina
Página personal | Contacto
Intereses de Investigación: Formal methods, program verification, dynamic memory analysis, concurrent systems, type theory, functional programming
Tutor: César Sánchez
|
 |
Carolina Dania, PhD Student
BS - Universidad Nacional de Cordoba (UNC), Argentina
Página personal | Contacto
Intereses de Investigación: Formal specification and verification, rigorous tool supported modeling and validation of software systems, automation, programming languages and SAT solvers.
Tutor: Manuel Clavel
|
Pasantes
 |
Gonzalo Ortiz, Research Intern
MS - Universidad Complutense, Spain
Página personal | Contacto
Intereses de Investigación: Formal specification and verification, and rigorous tool supported
modeling and validation of software systems.
Tutor: Manuel Clavel
|
|