Noticias

22 de Diciembre de 2025

¡Felicitaciones Julia Paredes, nueva magíster en ciencias e ingeniera civil en computación!

22 de Diciembre de 2025

¡Felicitaciones Jesús Cáceres, nuevo ingeniero civil en computación!

22 de Diciembre de 2025

¡Felicitaciones David Contreras, nuevo ingeniero civil en computación!

Eventos

16 de Enero de 2026 - 12:00

Charla: "Offensive Security with Machine Learning: Applications and a Blockchain Case Study"

Sofía Bobadilla (KTH Royal Institute of Technology, Sweden)

15 de Enero de 2026 - 09:30

Charla: ¿Cómo sobrevivir en la era de los LLM?

Eduardo Graells Garrido (DCC UChile)

4 de Diciembre de 2025 - 11:00

Charla "(Nested) Inductive Types in Lean and Rocq"

Nicolas Tabareau (Inria, Francia)