Positions:
- Ph.D. Student, Universidad Complutense de Madrid, since February 2017
- Assistant Researcher, Universidad Politécnica de Madrid, 2016-2017
- Assistant Researcher, Universidad Complutense de Madrid, 2016
- Assistant Researcher, Universidad Politécnica de Madrid, 2015-2016
- Assistant Researcher, Universidad Complutense de Madrid, 2014-2015
Ongoing Projects:
- LoBaSS (Jan 1, 2016 - Dec 31, 2018) [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]
- Elvira Albert (Complutense University of Madrid)
- Manuel Núñez (Complutense University of Madrid)
- ENVISAGE (Oct 1, 2013 - Oct 1, 2016) [EU Project FP7]
- Elvira Albert (Complutense University of Madrid)
- Einar Broch Johnsen (Coordinator, University of Oslo)
Courses:
- 2nd School on Foundations of Programming and Software Systems: Logic and Learning 2018 (Oxford, United Kingdom)
Research visits:
- Feb-May 2018: Department of People and Technology, University of Roskilde, Denmark (with John Patrick Gallagher )
Software:
- EasyInterface: A toolkit for the rapid development of GUIs for research prototype tools.
- iRankFinder: A termination analyser for (integer) transition systems.