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.
Salvador Tamarit Salvador Tamarit, Post-doctoral Researcher (visiting)
PhD - Technical University of Madrid (UPM), Spain
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: Functional Programming, Lambda Calculus, Type Theory, Program Transformation and Abstract Machines.
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:

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

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
Silvia Sebastián Silvia Sebastián, Research Intern
Borja de Regil Borja de Regil, Research Intern
Chiara Redaelli Chiara Redaelli, Research Intern
Javier Prieto Javier Prieto, Research Intern
Bai Xue Bai Xue, Research Intern
Adviser: Alessandra Gorla