2019

Charla: "Lambda cálculo como sistema de pruebas para una lógica de la computación cuántica"
(2019-01-17)


Charlista: 
Alejandro Díaz-Caro, Profesor Universidad Nacional de Quilmes, Argentina
Fecha: 
22 Enero, 2019 - 11:00
Sala: 
Philippe Flajolet, Piso 3, Edif. Poniente
Organización: 
Prof. Federico Olmedo
Bio: 

Alejandro Díaz-Caro se doctoró en la Université de Grenoble (Francia) con una tesis sobre la representación de espacios vectoriales en sistemas de tipos. Luego de realizar un postdoc en París y dos cargos de docencia e investigación, retornó a Argentina con un cargo de profesor en la Universidad Nacional de Quilmes. Actualmente, además del cargo en UNQ, tiene un cargo de investigador CONICET en el Instituto de Ciencias de la Computación (instituto de doble dependencia entre Universidad de Buenos Aires y CONICET).

Su área de investigación son los fundamentos de lenguajes para computación cuántica, con énfasis en lógica. En particular trabaja en teoría de tipos y lambda cálculo.

Abstract:

En esta charla voy a comenzar por una breve introducción a la computación cuántica, luego veremos una introducción al lambda cálculo y su conexión con lógica a través del isomorfismo de Curry-Howard. Finalmente expondré algunos resultados recientes sobre extensiones al cálculo lambda con el objetivo de definir una lógica de la computación cuántica utilizando dicho isomorfismo.




Martin Hilbert: “Hoy es posible predecir el comportamiento humano y social con más de 80% de precisión”
(2019-01-17)


  • El académico de la Universidad de California en Davis, Estados Unidos, visitó el Instituto Milenio Fundamentos de los Datos e impartió una charla en el Departamento de Ciencias de la Computación de la Universidad de Chile.



Académicos del DCC participan en la creación de la carrera de Informática de la U. de Aysén
(2019-01-16)


Desde finales de 2018, académicos del DCC asesoran en la creación de la carrera de Ingeniería Civil Informática que planea dictar la nueva casa de estudios.







DCC enseña a programar a niñas y niños en vacaciones de verano
(2019-01-11)


41 estudiantes de enseñanza básica aprendieron a programar en los Talleres de Computación “Desarrollando el Pensamiento Computacional”, que dicta cada año el Programa de Educación Continua del Departamento de Ciencias de la Computación (DCC).

 




Charla: Design Thinking: un enfoque para resolver problemas de manera innovadora
(2019-01-08)


Charlista: 
César A. Collazos, Profesor Titular - Universidad del Cauca (Colombia).
Fecha: 
10 Enero, 2019 - 14:00
Sala: 
Auditorio Philippe Flajolet
Organización: 
Prof. Sergio Ochoa



Charla Martin Hilbert: "Ciencia Social Computacional: entendiendo y prediciendo el comportamiento humano a nivel de ciencia"
(2019-01-07)


Charlista: 
Martin Hilbert, University of California, Davis.
Fecha: 
8 Enero, 2019 - 15:00
Sala: 
Auditorio Ramón Picarte (3er piso edif. norte Beauchef 851)
Organización: 
Instituto Milenio Fundamentos de los Datos




Exitosa finalización del curso Proyecto de Software
(2019-01-04)


 

Con la presentación de resultados concretos, finalizó este año el curso Proyecto de Software del DCC.

Syndicate content