Líneas e Estructuras de Investigación

 

Área de Concentración

Ciencia de la Computación
Nombre Descripción
Bioinformática y Computación Bioinspirada Bioinformática; Bioinformática Estructural; Biomatemática; Moldeo y Simulación de Procesos Biológicos y Moleculares; Métodos y Algoritmos para la Predicción de la Estructura Tridimensional de Proteínas; Acoplamiento Molecular; Dinámica Molecular; Planificación de Fármacos Asistido por Computador; Visualización en Moldeo y Simulación; Minería de Datos en Bioinformática.
Computación Gráfica, Procesamiento de Imágenes, Realidad Virtual e Interacción Humano Computador Interacción Humano-Computador; Calidad de Uso de Sistemas Interactivos (Accesibilidad, Comunicabilidad, Usabilidad); Técnicas de Evaluación y diseño de Interfaces con Usuario; Interacciones Sociales; Interacción Multimodales; Interacción en Ambientes Virtuales; Tecnología Asistiva; Visualización de Datos; Procesamiento de Imágenes; Visión Computacional; Imágenes Médicas; Aplicaciones de Computación Gráfica; Realidad Virtual; Simulación de Multitudes; Simulación de Humanos Virtuales; Animación Facial; Algoritmos Aplicados a Juegos y Simulaciones en Tiempo Real.
Ingeniería de Software y Base de Datos Proceso de Desarrollo de Software; Gerencia de Proyectos de Software; Ingeniería de Software para Sistemas Multiagentes; Desarrollo de Software Guiado por Ontologías; Calidad de Software; Pruebas de Software; Moldeo de Software; Desarrollo Distribuido de Software; Metodologías Ágiles para el Desarrollo de Software; Ingeniería de Software experimental; Línea de Producto de Software; Reuso; Integración de Técnicas de IHC y de Ingeniería de Software; Técnicas de Evaluación y diseño de Interfaces con Usuario; User eXperience; Descubrimiento de Conocimiento en Bases de Datos; Minería de Datos; Data Warehousing; Bancos de Datos Activos y Temporales; Moldeo y Control de Procesos de Negocio; Workflows Científicos.
Inteligencia Computacional Agentes Inteligentes; Lenguajes de Programación Orientada a Agentes; Agentes Cognitivos; Planificación Automática; Planificación Probabilística; Razonamiento Autónomo; Computación Semántica; Representación de Conocimiento; Ontologías; Computación Consciente del Contexto; Web Semántica; Aprendizaje de Ontologías; Procesamiento de Lenguaje Natural; Extracción de Información Textual; Minería de Textos, Generación de Recursos Lingüísticos Multilingues; Sistemas Multiagentes; Sistemas Normativos; Comunicación de Agentes; Verificación Formal de Sistemas Multiagentes; Aplicaciones de Sistemas Inteligentes; Robótica; Computación Pervasiva; Movilidad Urbana; Red Eléctrica Inteligente; Análisis de Sentimientos; Análisis de Perfil, Salud.
Procesamiento Paralelo y Distribuido Procesamiento Paralelo y Distribuido; Arquitecturas Paralelas; Sistemas Operacionales; Redes de Computadoras; Especificación Formal y Verificación de Sistemas Distribuidos; Evaluación de Desempeño de Sistemas; Moldeo Estocástico; Tolerancia a Fallos; Detección de Fallos; Inyección de Fallos; Modelos Teóricos para Tolerancia a Fallos; Seguridad de Sistemas; Criptografía; Computación en Nube; Grillas Computacionales; Virtualización; Gerencia de Infraestructura de TI; Computación de Alto Desempeño; Algoritmos Paralelos; Paradigmas de Programación Paralela; Ambientes de Programación Paralela; Escalonamiento; Moldeo de Aplicaciones Paralelas; Computación Verde;
Sistemas Embarcados y Sistemas Digitales Sistemas Embebidos; Proyecto de Software para Sistemas Embebidos; Sistemas Operacionales Embebidos; Sistemas de Tempo Real; Virtualización en Sistemas Embebidos; Middleware para Sistemas Embebidos; RFID; Red de Sensores Inalámbricos (WSN); Arquitectura de Microprocesadores Embebidos; Microelectrónica; Proyecto de Circuitos Integrados; Comunicación Intrachip; Multiprocesamiento Intrachip (Multi-core, MPSoC); Redes Intrachip, Lenguajes de Descripción de Hardware; Prototipación en FPGA; Proyecto VLSI Visando ASICs; Verificación Funcional de Sistemas VLSI; Estabilidad de Sistemas VLSI; Confiabilidad en Hardware; Hardware para Aplicaciones Críticas; Hardware Aplicado a la Robótica; Circuitos y Sistemas Asíncronos/GALS; Proyecto de Sistemas No-síncronos; Sincronizadores; Moldeo de Sistemas Embebidos; Modelos de Computación (MoCs); Lenguajes de Programación para Implementación de MoCs, Aplicaciones en Telecomunicaciones.

ESTRUCTURAS DE INVESTIGACIÓN

Centros de Pesquisa
Nombre Coordenador
Centro de Pesquisa em Engenharia de Software (CePES) SABRINA DOS SANTOS MARCZAK
Centro de Pesquisa em Visualização Avançada (CPVA) MARCIO SARROGLIA PINHO