¿Sabías que en el Instituto UBA-Conicet de Investigación en Ciencias de la
Computación, con sede en Exactas, contamos con 40 investigadores y 60 becarios
doctorales y posdoctorales?
Conocé lo que investigamos en el ICC:
ALGORITMOS
¿Qué es?
Creación de nuevos métodos para resolver problemas de cómputo. El objetivo central de la algoritmia es diseñar métodos de forma tal que, al ser ejecutados, consuman la menor cantidad de recursos tales como tiempo y memoria.
¿Qué hacemos en el ICC?
Estudiamos distintos problemas de
cómputo: cómo almacenar datos para que puedan ser consultados en forma eficiente, problemas complejos de la vida real como ruteo de vehículos o resolución de búsquedas en la web.
#Algoritmos #Complejidad #Álgebra #Lineal #Grafos
IMÁGENES Y ROBÓTICA
¿Qué es?
La visión por computadora busca reproducir la capacidad de la visión humana mediante la percepción y análisis electrónico de las imágenes. Para cumplir este propósito, el procesamiento digital de imágenes utiliza una serie de técnicas, métodos y algoritmos específicos. Uno de sus campos de aplicación más actuales es la visión en robótica.
¿Qué hacemos en el ICC?
Trabajamos en el diseño y desarrollo de hardware y software para la construcción de robots autónomos, sistemas de navegación, métodos de localización para robots móviles, aprendizaje automático y visión, entre otros. Realizamos investigaciones sobre reconocimiento y análisis facial, análisis de imágenes de teledetección óptica y reconstrucción 3D.
#Imágenes #Visión #Procesamiento #Robots #Aprendizaje #Autonomía #Sensado
INGENERÍA DE SOFTWARE
¿Qué es?
Hacer ciencia en Ingeniería de Software es entender cómo construir mejor software. Cada día se necesitan más programas para ejecutar aplicaciones y servicios, con menos errores, más rápidos y a un menor costo.
¿Qué hacemos en el ICC?
Investigamos los lenguajes de programación y de especificación que deben usar los ingenieros de software, los algoritmos que puedan analizar automáticamente programas y modelos, y la generación automática de programas.
#Software #Modelos #Especificación #Análisis #Validación #Testing
INTELIGENCIA ARTIFICIAL
¿Qué es?
La Inteligencia Artificial (IA) es una disciplina que se centra en la investigación y desarrollo de diversos aspectos de agentes que emulan el comportamiento humano.
¿Qué hacemos en el ICC?
Avanzamos en la investigación de estos agentes cuyas tareas pueden dividirse en 1) percibir/ capturar su entorno, 2) representar internamente tales percepciones y el conocimiento del dominio, 3) razonar y sacar conclusiones a partir del conocimiento adquirido, 4) aprender a partir de las situaciones resueltas con nuevo conocimiento y 5) actuar/operar sobre su entorno como consecuencia de las etapas anteriores.
#Procesamiento #LenguajeNatural #Habla #Neurociencia #Cognición
MODELACIÓN Y SIMULACIÓN
¿Qué es?
El uso de Modelado y Simulación Computacional permite estudiar la naturaleza o los sistemas de las ingenierías apoyados en tecnologías de la información y las comunicaciones.
¿Qué hacemos en el ICC?
Estudiamos distintos problemas de
Investigamos y desarrollamos herramientas y metodologías de modelado y de simulación para una amplia gama de aplicaciones interdisciplinares: redes de datos, física de partículas, sistemas socioeconómicos, crecimiento tumoral o ingeniería hidráulica fluvial, entre otras.
#Modelado #Simulación #Sistemas #CómputoDistribuido #CómputoParalelo
TEORÍA DE LA COMPUTACIÓN
¿Qué es?
La teoría de la computación se ocupa de determinar qué problemas pueden ser resueltos computacionalmente utilizando modelos de cómputo, como los autómatas finitos (que son los más sencillos), las máquinas de Turing (que son las computadoras usuales de hoy en día) y las computadoras cuánticas (cuyo funcionamiento no es digital).
¿Qué hacemos en el ICC?
Estudiamos lógicas con buen comportamiento computacional, como las lógicas modales, analizamos lenguajes eficientes de consultas que permiten razonar sobre distintas estructuras de representación del conocimiento y nos ocupamos de la noción de aleatoriedad en relación a los distintos modelos de cómputo y a los grados de dificultad de los problemas, entre otros temas complejos.
#Cómputo #Aleatoriedad #ModelosFuertes #ModelosDébiles #SistemasReescritura #CálculoLambda #Cognición