About

I got my Computer Science degree in 2006 at Computer Science School of Complutense University of Madrid, where I also received my M.Sc. in Computer Science Research and my Ph.D. in Computer Science in 2011.

Furthermore, I hold a degree in Mathematics specializing in Statistics and Operations Research at UNED in 2014.

Currently I work as an associate professor in the Department of Information Systems and Computation at UCM.

Research

In the course of my Ph.D. thesis I engaged in research in the field of Static Analysis of Programs, specifically on the development of pointer safety and memory bound analyses for Safe, a functional language without garbage collection. I have also completed research stages in the Digital Security Department of Radboud University Nijmegen (Netherlands) and in the Department of Information Systems of Münster University (Germany).

Currently I pursue research in the fields of Computer-Aided Program Verification, Invariant Synthesis and other aspects of Declarative Programming such as Type Systems.

Teaching

My teaching experience comprises a wide range of subjects. I have taught courses on:

• Advanced Databases (Computer Science Degree)
• Web Development (Software Engineering Degree)
• Java and Web Services (M.Sc. in Engineering Mathematics)
• Applied Declarative Programming (M.Sc. in Computer Science)
• Functional Programming (Computer Science Degree)
• Logic Programming (Computer Science Degree)
• Static Analysis of Programs and Constraint Solving (M.Sc. in Formal Methods in Computer Science)
• Theory of Programming Languages (M.Sc. in Formal Methods in Computer Science)
• Data Structures (several degrees in Computer Science at UCM)

Besides that, in recent years I have taken part in several innovative teaching projects at UCM, leading two of them.

For several years running, I have participated in the DOCENTIA teaching assessment program at UCM, achieving three excellent and four very positive ratings.