Portal InstitucionalUFPEL

Computación

Líneas de Investigación: FUNDAMENTOS DE COMPUTACIÓN

Se concentra en el estudio de fundamentos teóricos y modelos abstractos que sirven de base para sistemas, así como desarrolla técnicas para garantizar la corrección en el desarrollo de software.

Los temas de interés de la línea incluyen: especificación, construcción por refinamiento y verificación de sistemas de software y hardware, con el objetivo de alcanzar niveles de calidad más elevados y aumentar la confianza en la corrección de software por intermedio de pruebas formales y refinamientos; y desarrollo y análisis de la complexidad de modelos matemáticos computacionales aplicados al estudio y al análisis de la dinámica de poblaciones y de fenómenos ambientales.

Línea de Investigación: PROCESAMIENTO PARALELO Y DISTRIBUIDO

Tiene como objeto de investigación los sistemas computacionales proyectados para el procesamiento paralelo o distribuido. Los esfuerzos de investigación se concentran en el desarrollo de ambientes de ejecución, lenguajes e interfaces de programación para dichos ambientes. En este contexto, los temas tratados se encuentran ligados a la utilización de arquitecturas especiales, al procesamiento de alto rendimiento, a los ambientes de ejecución, a los lenguajes de programación y a la computación móvil y ubicua.

La Línea desarrolla también investigación aplicada, tratando de problemas reales en las soluciones que envuelven la utilización de sistemas paralelos y/o distribuidos, además de cuestiones relacionadas a la computación sostenible por la economía de energía en el procesamiento con la utilización un de hardware paralelo.

Línea de Investigación: SISTEMAS DIGITALES Y EMBEBIDOS

Estudia la concepción y el proyecto de sistemas digitales complejos, incluyendo etapas de especificación, validación, verificación, proyecto y test. Uno de los objetivos principales de esta Línea de Investigación es investigar el proyecto de sistemas computacionales dedicados para aplicaciones específicas, que integran hardware y software. Es de especial interés para esta Línea de Investigación la exploración del espacio de proyecto en la búsqueda de soluciones optimizadas considerando diversos compromisos, como tasa de procesamiento, consumo de energía y consumo de hardware.

Los temas abordados en esta Línea abarcan desde técnicas de CAD (Computer-Aided Design) para proyecto de circuitos integrados, hasta desarrollo de software y técnicas para reducción energética en sistemas embebidos. Esta Línea también desarrolla algoritmos y arquitecturas dedicadas al procesamiento digital de señales, imágenes y videos.

Línea de Investigación: SISTEMAS INTELIGENTES

La Línea de Investigación Sistemas Inteligentes se propone a estudiar, desarrollar y aplicar sistemas computacionales capaces de solucionar problemas que exigen inteligencia para que se resuelvan. Su objetivo es aplicar conceptos, técnicas y herramientas de Inteligencia Artificial en el auxilio a la resolución de problemas conceptuales y prácticos de la computación y de las demás áreas del conocimiento, además de estudiar y desarrollar el estado del arte de la inteligencia artificial, con vistas a su aplicación en procesos industriales.

Integran esta Línea sistemas que evolucionan y se adaptan (Sistemas Evolutivos), sistemas de inteligencia distribuida (Sistemas Multiagentes) y sistemas capaces de aprender de la experiencia (Aprendizage de Máquina).

Professor Adenauer Corrêa Yamin
http://inf.ufpel.edu.br/adenauer

Professor Aline Loreto
http://inf.ufpel.edu.br/aline

Professor Ana Marilza Pernas
http://inf.ufpel.edu.br/anamarilza

Professor André Du Bois
http://inf.ufpel.edu.br/andre

Professor Bruno Zatt
http://inf.ufpel.edu.br/brunozatt

Professor Denis Franco
http://inf.ufpel.edu.br/denis

Professor Felipe Marques
http://inf.ufpel.edu.br/felipem

Professor Gerson Cavalheiro
http://inf.ufpel.edu.br/gerson

Professor Julio Mattos
http://inf.ufpel.edu.br/julius

Professor Leomar Junior
http://inf.ufpel.edu.br/leomarjr

Professor Lisane Brisolara
http://inf.ufpel.edu.br/lisane

Professor Luciana Foss
http://inf.ufpel.edu.br/luciana

Professor Luciano Agostini
http://inf.ufpel.edu.br/agostini

Professor Marcelo Porto
http://inf.ufpel.edu.br/msporto

Professor Marilton Sanchotene de Aguiar
http://inf.ufpel.edu.br/marilton

Professor Maurício Pilla
http://inf.ufpel.edu.br/pilla

Professor Paulo R. Ferreira Jr.
http://inf.ufpel.edu.br/paulo

Professor Rafael Soares
http://inf.ufpel.edu.br/rafael

Professor Renata Hax Sander Reiser
http://inf.ufpel.edu.br/renata

Professor Ricardo Matsumura Araujo
http://inf.ufpel.edu.br/ricardo

Professor Simone Costa
http://inf.ufpel.edu.br/simone

24 créditos