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::
- “Problemas de Decisión: Desde la lógica una reflexión sobre lo indistinguible” Seminario Epistemologías y Ciencias en el Sur: Narrativas Subyacentes de la Producción de Conocimiento en la Universidad, Universidad De Los Lagos, Osorno, Junio 2015.
- “Decidibilidad de la igualdad de términos en el cálculo lambda bajo isomorfismos de tipos” XXVII Jornada de Matemática de la Zona Sur, Universidad Católica de Temuco, Temuco, 2014.
- “Una introducción al Cálculo Lambda” , Seminario Postgrado Matemática Educativa, Universidad De Los Lagos, Santiago, Regiónn Metropolitana, Chile, Octubre 2011.
- “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.
Outreach Talks::
- “Problemas de Decisión” Charla plenaria en semana de celebración de la carrera de Pedagogía en Matemáticas y Computación. Centro de Alumnos, Universidad De Los Lagos, Osorno, Noviembre 2014.
- “Lógica-Mente”, Semana de la Ciencia, Conicyt. Colegio “Felmer Niklitschek”, Puerto Varas, Región De Los Lagos, Chile; Liceo “Carmela Carvajal de Prat” A-18, Osorno, Región De Los Lagos , Octubre 2014.
- “Patrones y El triángulo de Pascal” , Semana de la Ciencia, Conicyt. Liceo Industrial Chileno-Alemán B-25, Frutillas, Región De Los Lagos, Chile, Octubre 2012.
- “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.
© 2016 Carlos C. Martínez | Generated by webgen