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:
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:
Serdar Erbatur Serdar Erbatur, Post-doctoral Researcher
PhD - University at Albany, USA
Joseph Izraelevitz Joseph Izraelevitz, Post-doctoral Researcher
PhD - University of Rochester, USA
Matteo Campanelli Matteo Campanelli, Post-doctoral Researcher
PhD - The City University of New York

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
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
Luis Miguel Danielsson Luis Miguel Danielsson, Research Intern
Adviser: Cesar Sanchez
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
Anatole Lefort Anatole Lefort, Research Intern
Adviser: Alexey Gotsman
Paloma Pedregal Paloma Pedregal, Research Intern
Adviser: Boris Köpf
Daniel Domínguez Daniel Domínguez, Research Intern
Adviser: Alessandra Gorla
Chana Weil-Kennedy Chana Weil-Kennedy, Research Intern
Adviser: Pierre Ganty
Jorge Blázquez Jorge Blázquez, Research Intern
Adviser: Dario Fiore