Inicio2022-09-15T10:38:59-03:00

Últimas noticias.

Verificación formal de software para reactores nucleares

Investigadores de CONICET desarrollan un proyecto orientado a aplicar técnicas de verificación formal de software, destinadas a sistemas críticos en el campo de la producción de reactores nucleares de INVAP. El equipo está integrado por Carlos López Pombo (CITECCA, UNRN), Juan Pablo Galeotti (ICC UBA/CONICET) y Germán Regis (Departamento de Computación, UNRC).

Premio Konex a tres investigadores del ICC

El Instituto de Ciencias de la Computación (ICC UBA/CONICET) felicita a Diego Fernández Slezak, Vanina Martínez y Sebastián Uchitel, por haber obtenido el Premio Konex 2023. En esta oportunidad fueron seleccionados entre las 100 personalidades más destacadas de la última década de la Ciencia y Tecnología Argentina, en las disciplinas de Ciencias de la Información e Inteligencia Artificial.

Investigadores desarrollan estudios computacionales para entender el lenguaje del pensamiento

10/marzo/2023|0 Comments

Integrantes del Grupo de Lógica y Computabilidad (GLyC) del ICC están encarando estudios para entender cómo funciona el cerebro cuando realiza tareas cognitivas simples, usando un enfoque simbólico de los lenguajes formales, propio de la computación teórica. A través de diversos experimentos y con una cantidad mínima de datos, estudian la toma de decisiones en problemas simples de clasificación, aprendizaje o memoria. Y, al mismo tiempo, desarrollan modelos para comprender cómo se comportan los humanos en el aprendizaje de nuevos conceptos y si ese comportamiento se asemeja al de una computadora.

El ICC en el Cero más Infinito: desafíos y oportunidades

28/diciembre/2022|0 Comments

El 1 de diciembre de 2022 el Instituto de Investigación en Ciencias de la Computación, ICC UBA-CONICET, renovó sus autoridades. Ante el vencimiento formal de su cargo, Sebastian Uchitel dejó de ser el director del ICC y, en su lugar, asumió la dirección Diego Garbervetsky (quien anteriormente ocupaba el cargo de vice-director). En este momento de balances, resulta importante analizar algunas de las cosas que pasaron este año y cuáles son los desafíos para el próximo.

Más Noticias

Conocé las áreas de investigación del ICC

ALGORITMOS

Ver

IMÁGENES Y ROBÓTICA

Ver

INGENIERÍA DE SOFTWARE

Ver

INTELIGENCIA ARTIFICIAL

Ver

MODELADO Y SIMULACIÓN

Ver

TEORÍA DE LA COMPUTACIÓN

Ver

Vinculación Tecnológica

EMPRESAS

ONGs

ESTADO

+ Info

Comunicate con el ICC

Contactanos

El ICC.

Hacemos investigación básica y aplicada, trabajando desde los fundamentos teóricos de la disciplina hasta aplicaciones concretas, innovadoras, de tecnología en informática en problemas sociales e industriales.

Go to Top