Ongoing::
“There are many ways of trying to understand programs. People often rely too much on one way, which is called debugging and consists of running a partly-understood program to see if it does what you expected. Another way, which ML advocates, is to install some means of understanding in the very programs themselves.” – Robin Milner.
Appointed since Fall 2011 as Assistant Professor in Departamento de Ciencias Exactas, Universidad De Los Lagos, Osorno, Chile. |
Recent activities::
Technical Talks::
-
Title: “Una introducción al Cálculo Lambda” , Seminario Postgrado Matemática Educativa, Universidad De Los Lagos, Santiago, Región Metropolitana, Chile, Octubre 2011.
-
Title: “Cálculo Lambda: Desde Fundamentos de la Matemáticas hasta Lenguajes de Programación” , Coloquio Departamento de Ciencias Exactas, Universidad De Los Lagos, Chuyaca, Osorno, Región De Los Lagos, Chile, Septiembre 2011.
Divulgatory Talks::
-
Title: “Geometría y Astronomía” , Inauguración Exposición ‘Noticias del Universo’, Museo Interactivo de Osorno, Osorno, Región De Los Lagos, Chile, Septiembre 2012.
-
Title: “Números y Naturaleza.” Semana de la Ciencia, Conicyt. The Mission College, Rahue Alto, Osorno, Región De Los Lagos, Chile, Octubre 2011.
-
Title: “Ciencia con paciencia.” Inauguración Semana de la Ciencia, Conicyt. Teatro Municipal de Ancud, Ancud, Región De Los Lagos, Chile, Octubre 2011.
-
Title: “Juegos, Estrategia y Azar.” Inauguración Muestra Juegos, Estrategia y Azar, Explora-Conicyt. Museo Iteractivo de Osorno, Osorno, Región De Los Lagos, Chile, Agosto 2011.
© 2012 Carlos C. Martínez | Generated by webgen