El Departamento de Ciencias de la Computación (DCC) de la Facultad de Ciencias Físicas y Matemáticas de la Universidad de Chile sumó recientemente a dos nuevos académicos a su planta: los investigadores Arturo Merino y Nicolás Lehmann, quienes llegan a fortalecer las áreas de investigación y docencia del departamento.

Nicolás Lehmann: de estudiante del DCC a académico

El profesor Nicolás Lehmann es ingeniero y magíster del propio DCC de la Universidad de Chile y realizó su doctorado en la Universidad de California, San Diego. Su investigación se sitúa en el área de lenguajes de programación, particularmente en la verificación formal de programas, un campo que busca garantizar matemáticamente que el software funciona correctamente.

Actualmente trabaja en el desarrollo de Flux, una herramienta que permite verificar programas escritos en el lenguaje de programación Rust.

Durante el primer semestre dictará el curso Programación de Software de Sistemas. Sobre su decisión de integrarse al DCC, señala que uno de sus principales motivadores fue volver a Chile y continuar desarrollando investigación de nivel internacional en un entorno académico de excelencia, además del rol público que cumple la Universidad de Chile.

Arturo Merino: investigación en teoría de algoritmos

El profesor Arturo Merino es ingeniero matemático de la Facultad de Ciencias Físicas y Matemáticas de la Universidad de Chile y cuenta con un magíster en Matemáticas y Aplicadas. Realizó su doctorado en la Universidad Técnica de Berlín y posteriormente desarrolló investigación postdoctoral en Saarland University y en el Instituto Max Planck de Informática, en Alemania.

Su investigación se centra en la teoría de algoritmos, especialmente en el diseño y análisis de algoritmos con garantías matemáticas sobre su funcionamiento. Actualmente trabaja, entre otros temas, en el desarrollo de algoritmos diversos, que buscan generar múltiples soluciones distintas para un mismo problema.

Durante el primer semestre dictará el curso Matemáticas Discretas para la Computación.

La llegada de ambos académicos refuerza el trabajo del DCC en investigación y docencia, y abre nuevas oportunidades de colaboración dentro de la comunidad del departamento.  

--
Comunicaciones DCC