PhD Assistant Professor, Facultad de Informatica (UCM)
I currently work as PhD Assistant Professor at Universidad Complutense de Madrid, Spain. I am also a member of the research group FADOSS, and my research interests include formal methods, logic, debugging, and testing.