IMDEA initiative

Home > People > PostDocs and Students

Post-doctoral Researchers

Guillermo Vigueras Guillermo Vigueras, Post-doctoral Researcher
PhD - University of Valencia, Spain
Research Interests: Parallel and distributed computing, Bio-inspired algorithms for problem optimization, Program transformation, Automatic parallelization.
Vincent Laporte Vincent Laporte, Post-doctoral Researcher
PhD - University of Rennes 1, France
Álvaro García Pérez Álvaro García Pérez, Post-doctoral Researcher
PhD - Technical University of Madrid (UPM), Spain
Research Interests: 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 - Sapienza University of Rome, Italy
Research Interests:
Wouter Lueks Wouter Lueks, Post-doctoral Researcher
PhD - Nijmegen, Netherlands
Research Interests:
Yuri Meshman Yuri Meshman, Post-doctoral Researcher
PhD - Technion, Israel Institute of Technology
Research Interests: 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, Spain
Research Interests:
Avinash Sudhodanan Avinash Sudhodanan, Post-doctoral Researcher
PhD - University of Trento, Italy
Research Interests:
Pablo Chico de Guzmán Pablo Chico de Guzmán, Post-doctoral Researcher
PhD - Technical University of Madrid (UPM), Spain
Research Interests:
Anton Trunov Anton Trunov, Research Programmer
Engineer - Tomsk State University of Control Systems and Radioelectronics, Russia
Research Interests:
Srdjan Matic Srdjan Matic, Post-doctoral Researcher
PhD - Università degli studi di Milano, Italy

Research Students

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

Interns

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