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 postdoctorales

Cesar Kunz Cesar Kunz,
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.
Mark Marron Mark Marron,
PhD - University of New Mexico, USA
Bio | Página personal | Contacto
Intereses de Investigación: Program analysis, optimization and error detection. Development of static analysis techniques that are capable of providing accurate information about the behaviour of a program, in particular the program heap.
Daniel Hedin Daniel Hedin,
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.

Estudiantes de doctorado

Alvaro Garcia Alvaro Garcia,
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 Miguel Angel García de Dios,
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 Julian Samborski,
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 Juan Manuel Crespo,
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 Federico Olmedo,
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 Teresa Trigo,
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 Antonio Artés,
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 Santiago Zanella,
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 Alejandro Sanchez,
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

Pasantes

Carolina Dania Carolina Dania,
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, programming languages, automation, and SAT solvers.
Tutor: Manuel Clavel
Gerardo Huck Gerardo Huck,
BS - Universidad Nacional de Rosario (UNR), Argentina
Página personal | Contacto
Intereses de Investigación: Formal methods, Functional Programming,Algorithms, Systems Design and Verification, Generic Programming,Static Analysis.
Tutor: Pedro Lopez-Garcia
Gonzalo Ortiz Gonzalo Ortiz,
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