Oliart-Ros, Alberto

I have a bachelors degree in Mathematics from UNAM and a PhD. in Computer Science from Boston University. I have been teaching since I was 19. My PhD thesis is about semi-unification, which is a restriction on unification. I have been at Campus Puebla since 2005. Before I was a researcher at Laboratorio Nacional de Informática Avanzada in Xalapa, Veracruz.