Positions:
- Assistant Teacher, Technical University of Madrid, since June 2020
- Ph.D. Student, Complutense University of Madrid, October 2016-October 2020
- Assistant Researcher, Universidad Complutense University of Madrid, July 2014 - October 2016
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:
- 2nd School on Foundations of Programming and Software Systems: Logic and Learning 2018 (Oxford, United Kingdom)
- Autumn School on Computational Logic (New York, USA)
- February-March 2020: Faculty of IT, Monash University, Australia (with Maria Garcia de la Banda and Peter Stuckey )
- March-May 2018: Faculty of IT, Monash University, Australia (with Maria Garcia de la Banda and Peter Stuckey )
- SYCO: A Systematic Testing Tool for Concurrent Objects