english • español

Me

Mathematician turned into a computer geek. An enthusiast for the popularisation of science, philosophy, humanism, and stuff.

Follow me on:

My own personal blog (mostly in spanish).

A science popularising blog (in spanish).

A scrapbook with coding hints and notes.

My list of academic and research publications.

Software I contributed to (mostly academic).

A short introduction to LaTeX (in spanish).

Parrots, the Universe and Everything the transcript of a talk by the great Douglas Agams.

I got a degree in mathematics from Universidad de las Américas Puebla, and a PhD in computer science from The University of Manchester.

As a postdoctoral researcher I worked at the Max Planck Institute for Software Systems and the Technische Universität München, where I developed applications of automated reasoning into program analysis and verification.

My academic career continued as a lecturer at Queen Mary, University of London, and then at University College London where I became member of the Programming Principles, Logic and Verification research group.

Currently I work at Google.

I’m also a volunteer STEM ambassador.

Further details can be glanced at from my cv or list of publications.

Software Engineer in Test at Google