¡Felicitamos a Loreto Palma! Nueva Ingeniera Civil en Computación

Charla: "Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration"

Tobias Winkler (PhD student, RWTH Aachen University, Germany)

Charla: "Building a Verification Infrastructure for Probabilistic Programs"

Philipp Schroer (PhD student, RWTH Aachen University, Germany)

Investigadora Elizabeth Labrada obtiene el grado de Doctora en Computación

Su tesis aborda el diseño de un lenguaje gradual con polimorfismo paramétrico.

Profesor Gonzalo Navarro fue distinguido como Fellow de la ACM

La Association for Computing Machinery (ACM), entregó la distinción más alta al investigador de la Universidad de Chile Gonzalo Navarro.