Javier Enríquez Mendoza

I am a PhD student in the Theory Group at the School of Computer Science at the University of Birmingham, UK. Since 2023, I have been working under the supervision of Vincent Rahli on the design and implementation of formal methods for the analysis of distributed systems.

I hold a BSc and MSc in Computer Science from the Faculty of Sciences at National Autonomous University of Mexico (UNAM). During my undergraduate studies, supervised by Lourdes del Carmen González Huesca, I worked on origami programming in functional languages and its application to tree-shaped data structures. For my Master's degree, supervised by Favio Miranda Perea, I explored the relationship between category theory and type theory, developing a type system extending System F with combinators for modelling course-of-values recursion.

Alongside my studies and research, I have also been involved in teaching. At the Faculty of Sciences at UNAM, I have worked both as a Teaching Assistant and as a Lecturer. Since joining the University of Birmingham, I have continued teaching as a Teaching Assistant within the School of Computer Science.

I am originally from Mexico, a place whose diversity and cultural richness remain an important part of my life. Outside research, I am particularly interested in photography, art, architecture, and Mexican culture. I enjoy cooking and taking photographs.