Positions

• Assistant Professor Universidad Complutense de Madrid2021-
• Postdoc Researcher Universidad Complutense de Madrid2020-2021
• Ph.D. Student Universidad Complutense de Madrid2017-2020
• Assistant Researcher Universidad Politécnica de Madrid2015-2017
• Assistant Researcher Universidad Complutense de Madrid2014-2015

Program Committees

2022

• 34rd International Conference on Computer-Aided Verification

  (CAV 2022). Artifact Evaluation Committee

2021

• 33rd International Conference on Computer-Aided Verification

  (CAV 2021). Artifact Evaluation Committee

Research Projects

• FORTE [CM Project PS2018/TCS-4314]Jan 1, 2019 - Dec 31, 2022
  • Elvira Albert (Complutense University of Madrid)
  • Manuel Núñez (Complutense University of Madrid)
• FreeTech [Spanish Ministry of Innovation, Science and Universities RTI2018-094403-B-C31]Jan 1, 2019 - Dec 31, 2021
  • Elvira Albert (Complutense University of Madrid)
  • Santiago Escobar (Universidad Politécnica de Valencia)
  • Albert Rubio (Universitat Politècnica de Catalunya)
• LoBaSS [Spanish Ministry of Science and Innovation TIN2015-69175-C4-2-R]Jan 1, 2016 - Jun 3, 2020
  • Elvira Albert (Complutense University of Madrid)
  • Santiago Escobar (Universidad Politécnica de Valencia)
  • Albert Rubio (Universitat Politècnica de Catalunya)
• SICOMORo-CM [CM Project S2013/ICE-3006]Oct 1, 2014 - Oct 1, 2018
  • Elvira Albert (Complutense University of Madrid)
  • Manuel Núñez (Complutense University of Madrid)
• ENVISAGE [EU Project FP7-ICT-610582]Oct 1, 2013 - Oct 1, 2016
  • Elvira Albert (Complutense University of Madrid)
  • Einar Broch Johnsen (Coordinator, University of Oslo)

Contributed Talks, Seminars, Posters

• Poster: Static Analysis of Concurrent Programs

  5th Google's Compilers and Programming Languages Summit, December 2017 (Munich, Germany)

Courses

• 2nd School on Foundations of Programming and Software Systems: Logic and Learning 2018

  Oxford, United Kingdom

• Google Compiler and Programming Language Summit 2017

  Munich, Germany

• Marktoberdorf Summer School 2015: Verification and Synthesis of Correct and Secure Systems

  Marktoberdorf, Germany

Research Visits

• Department of Computer Science, University of Aarhus, Denmark Sept-Dec 2017

  with Anders Moller

Software

• SACO: A Static Analyzer for Concurrent Objects
• EthIR: A framework for high-level Analysis of Ethereum Bytecode
• GASTAP: A Gas Analyzer for Smart Contracts
• GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts