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.
Matthieu Perrin Matthieu Perrin, Post-doctoral Researcher
PhD - Universidad de Nantes, Francia
Intereses de Investigación: consistency, data structures, distributed systems, modelisation
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:

Estudiantes de doctorado

Germán Delbianco Germán Delbianco, PhD Student
BS - Universidad Nacional de Rosario (UNR), Argentina
Intereses de Investigación: Programming Languages Semantics, Functional Programming, Type Theory, Theorem Proving, Category Theory
Tutor: Aleks Nanevski
Umer Liqat Umer Liqat, PhD Student
MS - Dresden University of Technology, Germany
Intereses de Investigación: Program analysis and verification (Static analysis,Resource usage analysis...), Constraint logic programming, Model checking
Tutor: Pedro López-García
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 - National Technical University of Ukraine
Intereses de Investigación: Abstract interpretation, assertion languages and also 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
Srdjan Matic Srdjan Matic, PhD Student
MSc in Computer Science - Università degli studi di Milano, Italia
Tutor: Juan Caballero
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
Tutor: Gilles Barthe
Bogdan Kulynych Bogdan Kulynych, PhD Student
Tutor: Carmela Troncoso
Felipe Gorostiaga Felipe Gorostiaga, PhD Student
Tutor: Cesar Sanchez
Konstantin Kuznetsov Konstantin Kuznetsov, PhD Student
Tutor: Alessandra Gorla
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

Anais Querol Anais Querol, Research Intern
Tutor: Dario Fiore
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
Bai Xue Bai Xue, Research Intern
Tutor: Alessandra Gorla
Arianna Blasi Arianna Blasi, Research Intern
Tutor: Alessandra Gorla
Luis Miguel Danielsson Luis Miguel Danielsson, Research Intern
Tutor: Cesar Sanchez
Felix Schröder Felix Schröder, Research Intern
Tutor: Boris Köpf
Vitor Enes Vitor Enes, Research Intern
Tutor: Alexey Gotsman
Álvaro Feal Álvaro Feal, Research Intern
Tutor: Carmela Troncoso