Research

My research is mainly focused on Formal Methods for Computer Science. This topic includes, but is not limited to, Software Testing, Machine Learning, and Software Engineering. Right now my main field of research is the application of Information Theory to Software Testing, but I also work in the develop of Machine Learning techniques for Software Testing.

However, my research interests are not limited to those topics. Of course I am interested in Software Testing and Machine Learning, but I am also interested in Quantum Computing, Robotics, and Space Science & Exploration.

I am PhD student at the Design and Testing of Reliable Systems (DTRS) research group at the Universidad Complutense de Madrid. I am also hired by the FORTE-CM program in which this research group is the leading group, and which is funded by the Regional Government of Madrid under the grant P2018/TCS-4314. I was also hired by the SICOMORo-CM program in 2018.

Previously, I have done a Master’s on Formal Methods for Computer Science and a Double Degree on Computer Science and Mathematics, including an Erasmus+ studentship at Kungliga Tekniska Högskolan (KTH) in Sweden.

Memberships and Colaborations

I am member of IEEE since 2019 and of ACM since 2020. Also, I have been involved in the following events: