Spanish Spanish

Noé Salomón Hernández S.

I obtained a first degree in Computer Science in 2012, and a Master's degree in Computer Science in 2014. Since January, 2015, I work as a research assistant for the Department of Computer Science at IIMAS, UNAM. My main research interests are model checking, formal verification, programming languages, and programming of robotic tasks for the robot Golem (see Golem team's web site here).

I also enjoy being a lecturer at School of Sciences, where I was a teaching assistant from 2010 to 2011, and then became a lecturer in 2012. A list of the courses I have taught can be found here.



Contact information


Department of Computer Science,
Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas,
Universidad Nacional Autónoma de México,
Circuito Escolar,
Ciudad Universitaria,
04510, México D.F.

Last modified:
Website templates