Nombramiento Académico Actual

• Académico - Profesor Titular 2014

Títulos y Grados

• Docteur en Informatique - Universite De Nantes 2004
• Doctorado en Ciencias, Mención Computación - FCFM, Universidad de Chile 2004

Docencia Últimos 7 años

• CC4101-1 Lenguajes de Programación   Impartido en 2026 Otoño, 2025 Otoño, 2024 Otoño, 2023 Otoño, 2022 Otoño, 2021 Otoño, 2020 Otoño y 2019 Otoño
• CC5116-1 Diseño e Implementación de Compiladores   Impartido en 2025 Primavera, 2024 Primavera, 2023 Primavera, 2022 Primavera, 2021 Primavera y 2020 Primavera
• CC7110-1 Lenguajes de Programación II   Impartido en 2025 Primavera, 2023 Primavera, 2021 Primavera y 2019 Otoño
• CC63K-1 Programación Orientada a Objetos   Impartido en 2025 Otoño, 2024 Otoño, 2023 Otoño, 2022 Primavera, 2021 Otoño, 2020 Otoño y 2019 Otoño
• CC5905-3 Trabajo Dirigido   Impartido en 2025 Otoño
• CC7125-1 Introducción a Coq: Lógica, Tipos y Verificación   Impartido en 2024 Primavera y 2022 Primavera
• CC5104-1 Lenguajes de Programación II   Impartido en 2024 Primavera

Alumnos Memoristas de Pregrado Últimos 7 años

Participación como Profesor Guía

• Validación de un compilador de OpenCL para una arquitectura de GPU, 2026
• Tyger: una Herramienta de Tipado Estático Extensible para Python, 2025
• A Coq Formalization Of RDF And Its Applications, 2024
• Detección de Unit Test Smells de C# en Visual Studio, 2024
• Gradual Sensitivity Types, 2021
• Countable Polymorphic May-Must Effects, 2020

Participación como Profesor Co-guía

• Estudio de lenguaje gradual con subtipos nominales, 2025
• Gradual Typing para Python: plugin para IDE, 2025
• Typechecker enfocado a dimensionalidad de tensores: Soporte para NLP, 2025
• Automatización del Análisis del Tiempo de Ejecución de Programas Probabilísticos, 2022
• Aplicación Móvil para el Monitoreo de la Seguridad en Redes Inalámbricas en Internet, 2021
• Desarrollo de Plataforma para el Montaje Automático de HoneyNets para Laboratorios de Ciberseguridad, 2020
• Mecanismos de Interacción en Videojuegos Controlados por Eyetracking, 2020
• Maestro de Inventario Autónomo para la Cadena Salcobrand, 2019

Participación como Profesor Integrante

• Evaluación de Escenarios de Peatonalización de la Calle Beauchef Usando Simulación, 2026
• Generación de mallas poligonales a partir de cavidades, 2026
• Integración de Herramientas de Apoyo al Curso CC5401: Ingeniería de Software II, 2026
• La Privacidad de Usuario en la Era de la Gestión de Etiquetas: un Análisis de Google Tag Manager, 2026
• Aplicación multiplataforma para la administración de información confidencial en cursos con salidas a terreno, 2025
• Desarrollo de una aplicación generadora de diagramas UML a partir de código fuente Scala, 2025
• Plataforma de exploración y asignación de horarios para ramos del DCC, 2025
• Reparación de mallas 3D con Deep learning, 2025
• Simulación basada en agentes para modelar asistencia a clases, 2025
• Usos de LLM en la Enseñanza Universitaria: un Análisis FODA, 2025
• Accountable Intersection Management Protocols, 2024
• Automatic feedback tool to nudge adoption of code quality practices, 2024
• Desarrollo de un sistema de gestión de inmuebles, 2024
• Diseño e implementación de una plataforma para facilitar el acceso a materiales de estudio en la FCFM, 2024
• Disponibilización de servicios para corredores en el ámbito de seguros generales, 2024
• Impulso del área de desarrollo de aplicaciones móviles en Platanus, 2024
• Mejoras en el algoritmo de ubicación de la empresa Lazarillo, 2024
• Modelador de contexto e interfaz gráfica para evaluación de procesos híbridos de desarrollo de software, 2024
• Plataforma web de monitoreo de memoristas del Departamento de Ciencias de la Computación, 2024
• Portal de postulación para Prácticas Extendidas, 2024
• Sinopsis Privadas para Algoritmos de Clustering sobre Datos Dispersos, 2024
• Categorización y recomendador de cursos a través de áreas de interés y perfil del estudiante, 2023
• Desarrollo Y Adaptación de Sistema de Coevaluación de Equipos para Cursos de Trabajo Colaborativo, 2023
• Diseño e Implementación de un sistema para recopilar apuntes de manera asíncrona en U-Cursos, 2023
• Diseño y desarrollo de un sistema de apoyo en situaciones de emergencias sociales, 2023
• Estudio e Implementación de un Lenguaje de Autorización para Bases de Datos Relacionales, 2023
• Generación de mapas vectoriales a partir de escaneos de espacios con teconología Lidar en dispositivos Apple, 2023
• Implementación de una red de mezcla utilizando encriptación de Paillier para votaciones electrónicas, 2023
• Integración de herramientas de conformación y coevaluación de equipos de desarrollo de software, 2023
• Mejora de la Gobernabilidad de U-Papers y de su Capacidad de Integración al Ecosistema de Software del DCC, 2023
• Sistema de Gestión de Calendarios Académicos de Pre y Postgrado, 2023
• Una plataforma web para desarrollar el pensamiento computacional en niños de 8vo básico, 2023
• Desarrollo de un Algoritmo Paralelo en GPU para Encontrar Periodos de Objetos Variables para el Sistema Alerce, 2022
• Easy Suggest: Pruebas adaptativas para diagnóstico de rendimiento en ensayos para la prueba de transición universitaria, 2022
• Fuzz Testing aplicado en Máquinas de Estado Jerárquicas de SMACH para pruebas de Comportamientos Robóticos, 2022
• Herramienta para el análisis del trabajo en equipo en cursos de ingeniería de software en el DCC, Universidad de Chile, 2022
• Mejora de la Usabilidad de una Herramienta de Modelamiento de Interacciones Soportadas por Sistemas Colaborativos Móviles, 2022
• Automated Software Penetration Testing, 2021
• Plataforma de Apoyo a la Planificación de la Docencia de Pregrado del DCC, 2021
• Algoritmo para la Paralelización en GPU de Diagramas de Voronoi, 2020
• Desarrollo de Sistema que apoya en la Supervisión Clínica y Acreditación de los Prestadores Institucionales de Salud, 2020
• Improving Source Code Change Set Analysis by Using a Visual Tool, 2020
• Nuevas Estrategias de Análisis de Datos de Escaneos de la Red Chilena para el Monitoreo periódico de Seguridad, 2020

Alumnos Tesistas de Magíster Últimos 7 años

Participación como Profesor Guía

• A Coq Formalization Of RDF And Its Applications, 2024
• A Reasonably Exceptional Type Theory a Type Theory with Exceptions, 2021
• Gradual Sensitivity Types, 2021
• Countable Polymorphic May-Must Effects, 2020

Participación como Profesor Integrante

• La Privacidad de Usuario en la Era de la Gestión de Etiquetas: un Análisis de Google Tag Manager, 2026
• Accountable Intersection Management Protocols, 2024
• Mecanismos de Interacción Natural para Reducir Barreras de Entrada en Entornos de Programación Basados en Bloque, 2024
• Fuzz Testing aplicado en Máquinas de Estado Jerárquicas de SMACH para pruebas de Comportamientos Robóticos, 2022
• A General Approach To Recursion In G-Core, 2021
• Improving Source Code Change Set Analysis by Using a Visual Tool, 2020
• Nuevas Estrategias de Análisis de Datos de Escaneos de la Red Chilena para el Monitoreo periódico de Seguridad, 2020

Alumnos Tesistas de Doctorado Últimos 7 años

Participación como Profesor Guía

• Gradual SysteM F, 2023
• Type Abstraction and Faceted Types for Declassification, 2020
• Abstracting Gradual Typing: Metatheory and Applications, 2019

Participación como Profesor Integrante

• Multilingual Hate Speech Detection, 2024

Becas y Distinciones

• Best Paper Award 2011
• Mejor Profesor Jornada Completa 2011