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.
Matthieu Perrin Matthieu Perrin, Post-doctoral Researcher
PhD - University of Nantes, France
Research Interests: consistency, data structures, distributed systems, modelisation
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:

Research Students

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

Interns

Anais Querol Anais Querol, Research Intern
Adviser: Dario Fiore
Sergio Valverde Sergio Valverde, Research Intern
Adviser: Alessandra Gorla
Sergio Delgado Sergio Delgado, Research Intern
Adviser: Alessandra Gorla
Sergio Chica Sergio Chica, Research Intern
Adviser: Juan Caballero
Silvia Sebastián Silvia Sebastián, Research Intern
Adviser: Juan Caballero
Borja de Regil Borja de Regil, Research Intern
Adviser: Alexey Gotsman
Javier Prieto Javier Prieto, Research Intern
Adviser: Boris Köpf
María del Carmen Sánchez María del Carmen Sánchez, Research Intern
Adviser: Juan Caballero
Bai Xue Bai Xue, Research Intern
Adviser: Alessandra Gorla
Arianna Blasi Arianna Blasi, Research Intern
Adviser: Alessandra Gorla
Luis Miguel Danielsson Luis Miguel Danielsson, Research Intern
Adviser: Cesar Sanchez
Felix Schröder Felix Schröder, Research Intern
Adviser: Boris Köpf