• Positions
• Program Committees
• Research Projects
• Contributed Talks, Seminars, Posters
• Courses
• Research visits
• Software

Positions:

• Assistant Professor, Universidad Complutense de Madrid, 2021-
• Postdoc Researcher, Universidad Complutense de Madrid, 2020-2021
• Ph.D. Student, Universidad Complutense de Madrid, 2017- 2020
• Assistant Researcher, Universidad Politécnica de Madrid, 2015-2017
• Assistant Researcher, Universidad Complutense de Madrid, 2014-2015

Program Committees:

2022:
• 34rd International Conference on Computer-Aided Verification , (CAV 2022). Artifact Evaluation Committe
2021:
• 33rd International Conference on Computer-Aided Verification , (CAV 2021). Artifact Evaluation Committe

---

Research Projects:

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

---

Contributed Talks, Seminars, Posters:

• Poster at 5th Google's Compilers and Programming Languages Summit: Static Analysis of Concurrent Programs, 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:

• Sept-Dec 2017: Department of Computer Science, University of Aarhus, Denmark (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