Su investigación se centra en el área de la ingeniería de software y los lenguajes de programación. Se especializa en el diseño y la formalización de sistemas de tipos, con un énfasis particular en el tipado gradual (gradual typing) y la seguridad. Su objetivo es desarrollar fundamentos teóricos y herramientas prácticas que permitan a los desarrolladores construir software más robusto, seguro y confiable. Combina su trabajo académico con más de 14 años de experiencia en desarrollo de software, y en el último tiempo ha explorado activamente el uso de agentes de IA en proyectos de investigación y docencia.
Afiliaciones
-
-
- Profesor Asistente, Departamento de Ciencias de la Computación (DCC), Facultad de Ciencias Físicas y Matemáticas, Universidad de Chile.
- Investigador, Instituto Milenio Fundamentos de los Datos (IMFD).
-
Educación
-
- Doctor en Ciencias de la Computación, Universidad de Chile (2019).
- Magíster en Ciencias, mención Computación, Universidad de Chile (2014).
- Ingeniero Civil en Computación, Universidad de Chile (2008).
Publicaciones: Google Scholar
Cursos
-
- CC3002 Metodologías de Diseño y Programación — Pregrado.
- CC3201 Bases de Datos — Pregrado.
- CC5003 Aplicaciones Web Reactivas — Pregrado y Postgrado.
- CC5215 Privacidad de datos — Pregrado y Postgrado.
Contacto
-
- Correo: mtoro@dcc.uchile.cl
- Sitio web: Perfil DCC o Perfil IMFD
