Iniciativa IMDEA

Inicio > Personal > Postdocs y predocs

Investigadores postdoctorales

Guillermo Vigueras Guillermo Vigueras, Post-doctoral Researcher
PhD - Universidad de Valencia, España
Intereses de Investigación: Parallel and distributed computing, Bio-inspired algorithms for problem optimization, Program transformation, Automatic parallelization.
Vincent Laporte Vincent Laporte, Post-doctoral Researcher
PhD - Universidad de Rennes 1, Francia
Álvaro García Pérez Álvaro García Pérez, Post-doctoral Researcher
PhD - Universidad Politécnica de Madrid (UPM), España
Intereses de Investigación: Concurrent and Distributed Systems, Algorithms for Consensus, Process Algebras, Rule Formats for Structural Operational Semantics, Nominal Techniques, Lambda Calculus, Abstract Machines and Program Transformation.
Antonio Faonio Antonio Faonio, Post-doctoral Researcher
PhD - Universidad de Roma La Sapienza, Italia
Intereses de Investigación:
Wouter Lueks Wouter Lueks, Post-doctoral Researcher
PhD - Nijmegen, Holanda
Intereses de Investigación:
Yuri Meshman Yuri Meshman, Post-doctoral Researcher
PhD - Technion, Instituto tecnológico de Israel
Intereses de Investigación: Program verification, Program analysis, Program synthesis, Machine learning, Computability learning, Programming languages.
Ignacio Fábregas Ignacio Fábregas, Post-doctoral Researcher
PhD - Universidad Complutense de Madrid, España
Intereses de Investigación:
Avinash Sudhodanan Avinash Sudhodanan, Post-doctoral Researcher
PhD - Universidad de Trento, Italia
Intereses de Investigación:
Pablo Chico de Guzmán Pablo Chico de Guzmán, Post-doctoral Researcher
PhD - Universidad Politécnica de Madrid (UPM), España
Intereses de Investigación:
Anton Trunov Anton Trunov, Research Programmer
Engineer - Universidad estatal de Tomsk, Rusia
Intereses de Investigación:
Srdjan Matic Srdjan Matic, Post-doctoral Researcher
PhD - Università degli studi di Milano, Italia

Estudiantes de doctorado

Artem Khyzha Artem Khyzha, PhD Student
MS - Dnipropetrovsk National University, Ukraine
Intereses de Investigación: Software verification, semantics of programming languages, concurrency.
Tutor: Alexey Gotsman
Miriam García Miriam García, PhD Student
MS - Universities of L'Aquila and Hamburg
Intereses de Investigación: Hybrid Systems, Stability Analysis, Modelization, PDEs, Numerics
Tutor: Pavithra Prabhakar
Nataliia Stulova Nataliia Stulova, PhD Student
MS in Artificial Intelligence - Universidad Politécnica de Madrid (UPM), España
Intereses de Investigación: Program specifications, run-time software verification, specification-based testing, program synthesis and transformation, declarative programming, artificial intelligence.
Tutor: Manuel Hermenegildo
Maximiliano Klemen Maximiliano Klemen, PhD Student
BS - Universidad Nacional del Comahue (UNCo), Argentina
Intereses de Investigación: Static analysis of non-functional global properties (e.g. resource consumption properties) - Abstract Interpretation
Tutor: Pedro López-García
Joaquín Arias Joaquín Arias, PhD Student
Universidad Politécnica de Madrid (UPM), España
Intereses de Investigación: My research interest focus on logic programming. My recent research activities have centered around the application (e.g. abstract interpretation) and the implementation of tabling and constraint in Prolog.
Tutor: Manuel Carro
Luca Nizzardo Luca Nizzardo, PhD Student
MS in Mathematics - Università degli Studi di Milano-Bicocca, Italia
Intereses de Investigación: Cryptographic tecniques for the security of cloud computing.
Tutor: Dario Fiore
Miguel Ambrona Miguel Ambrona, PhD Student
MS in Engineering Mathematics - Universidad Complutense de Madrid, España
Intereses de Investigación: Automated proofs in cryptography, functional programming.
Tutor: Gilles Barthe
Irfan Ul Haq Irfan Ul Haq, PhD Student
MSc in Information Technology - National University of Sciences and Technology, Pakistán
Intereses de Investigación: System and Network Security, Intrusion/Anomaly Detection, Binary Analysis, and Software Defined Networking(SDN).
Tutor: Juan Caballero
Platon Kotzias Platon Kotzias, PhD Student
MS in Digital Systems Security - Universidad de Piraeus, Grecia
Intereses de Investigación: Computer systems security, Network security, Malware analysis.
Tutor: Juan Caballero
Richard Rivera Richard Rivera, PhD Student
MS in Software and Systems - Universidad Politécnica de Madrid (UPM), España
Tutor: Juan Caballero
Pablo Cañones Pablo Cañones, PhD Student
MS - Universidad Complutense de Madrid, España
Tutor: Boris Köpf
Paolo Calciati Paolo Calciati, PhD Student
MS - Università della Svizzera Italiana, Lugano, Suiza
Tutor: Alessandra Gorla
Pepe Vila Pepe Vila, PhD Student
BS in Computer Science - Universidad de Zaragoza, España
Tutor: Boris Köpf
Raúl Alborodo Raúl Alborodo, PhD Student
BS in computer Science - Universidad Nacional de Río IV, Argentina
Intereses de Investigación: Formal methods, software specification and verification, model-driven development, programing languages and dynamic logics.
Tutor: Juan Jose Moreno
Isabel García Isabel García, PhD Student
Universidad Politécnica de Madrid (UPM), España
Tutor: Manuel Hermenegildo
Elena Gutierrez Elena Gutierrez, PhD Student
BS - Universidad Autónoma de Madrid, España
Intereses de Investigación: Program verification, context-free languages, automata theory, logic programming.
Tutor: Pierre Ganty
Pedro Valero Pedro Valero, PhD Student
BS - Universidad Autónoma de Madrid, España
Intereses de Investigación: Languages Theory, Context-free Languages, Input Validation, Transducers
Tutor: Pierre Ganty
Alejandro Aguirre Alejandro Aguirre, PhD Student
MS in Computer Science - - Université Paris Diderot, Francia
Tutor: Gilles Barthe
Felipe Gorostiaga Felipe Gorostiaga, PhD Student
BS - Universidad Nacional de Rosario (UNR), Argentina
Tutor: Cesar Sanchez
Joakim Öhman Joakim Öhman, PhD Student
MSc - Universidad de Gotemburgo, Suecia
Intereses de Investigación:
Tutor: Aleks Nanevski
Jesús Domínguez Jesús Domínguez, PhD Student
MSc - Universidad Nacional Autónoma de México, México
Intereses de Investigación:
Tutor: Aleks Nanevski

Estudiantes en prácticas

Sergio Valverde Sergio Valverde, Research Intern
Tutor: Alessandra Gorla
Borja de Regil Borja de Regil, Research Intern
Tutor: Alexey Gotsman
María del Carmen Sánchez María del Carmen Sánchez, Research Intern
Tutor: Juan Caballero
Arianna Blasi Arianna Blasi, Research Intern
Tutor: Alessandra Gorla
Luis Miguel Danielsson Luis Miguel Danielsson, Research Intern
Tutor: Cesar Sanchez
Álvaro Feal Álvaro Feal, Research Intern
Tutor: Carmela Troncoso
Guillermo Paredes Guillermo Paredes, Research Intern
Tutor: Alessandra Gorla
José Carlos Garde José Carlos Garde, Research Intern
Tutor: Alessandra Gorla
Roberto Fernández Roberto Fernández, Research Intern
Tutor: Juan Caballero
Amir Goharshady Amir Goharshady, Research Intern
Tutor: Cesar Sanchez