Memoria

Información antigua de PPG-CompMat.



El programa se denominó Programa de Posgrado en Ciencias Computacionales (PPG-CCOMP). El órgano colegiado del PPG-CCOMP quedó formado por los siguientes miembros (2018-2019):

  • Cristiane Oliveira de Faria (Coordinadora)
  • Igor Machado Coelho (Coordinador adjunto)
  • Maria Clícia Stelling de Castro
  • Patricia Nunes da Silva
  • Regina Serrão Lanzillotti
  • Zochil González Arenas

LÍNEAS ANTERIORES (DESCRIPCIÓN ANTIGUA):

LÍNEA 1: Metodologías y Técnicas de Desarrollo de Software

La línea de investigación “Metodologías y Técnicas de Desarrollo de Software” tiene como objetivo el estudio de métodos y técnicas para el desarrollo de soluciones de software, considerando las etapas de desarrollo, evaluación y gestión. Los temas tratados y las tecnologías aplicadas en las soluciones desarrolladas son: Sistemas Context-Aware, Realidad Virtual, Sistemas Multiagente, Agentes Inteligentes, Internet de las Cosas (IoT) y Computación Móvil. Los proyectos de esta línea se centran en el uso de la Ingeniería del Software para desarrollar soluciones en el área de los Sistemas Complejos.

LÍNEA 2: Modelización y Simulación de Sistemas Naturales y Artificiales

Esta línea de investigación abarca temas que pretenden modelizar matemática y computacionalmente los mecanismos subyacentes a sistemas y procesos físicos descritos por diversas áreas de la ciencia como la biología, la química, la materia condensada, la medicina, la fisiología y los sistemas de humanidades y ciencias sociales. Los sistemas físicos estudiados pueden ser naturales, como las membranas celulares, los circuitos neuronales, la interacción ligando-proteína, los procesos celulares y de histocompatibilidad, los ecosistemas y los sistemas metálicos nanoestructurados; o artificiales, como las redes neuronales artificiales, los agentes de la teoría de juegos y los sistemas financieros. Los trabajos investigan el funcionamiento de diversos sistemas y procesos físicos, basándose en datos procedentes de observaciones y mediciones experimentales, que también pueden obtenerse de la bibliografía. Los modelos se basan en teorías y métodos matemáticos y computacionales y se interpretan a la luz de principios de diversas áreas científicas como la Física, la Química, la Biología, la Farmacología, la Psicología y la Sociología, involucrando también conocimientos de Ingeniería y Medicina.

LÍNEA 3: Teorías y Métodos Computacionales

Esta línea se caracteriza por el estudio de algoritmos en sus aspectos fundamentales (teoría) y aplicados, con vistas a utilizar métodos y técnicas computacionales para resolver problemas técnicos y científicos. La línea incluye los siguientes temas principales: Corrección y propiedades formales de los algoritmos; Teoría de grafos; Complejidad de los algoritmos; Computación paralela, distribuida y de alto rendimiento; Algoritmos para grandes volúmenes de datos; Heurística y metaheurística; Optimización combinatoria e investigación operativa; Lógica; Inteligencia computacional; Sistemas informáticos; Teoría de la computación; Matemáticas de la computación.

LÍNEA 4: Teorías y Métodos de Física y Matemáticas

Esta línea de investigación se centra en el estudio y desarrollo de metodologías numéricas y analíticas que puedan utilizarse para la modelización en ciencias computacionales. Enfatiza teorías y métodos de la física y las matemáticas para la descripción, comprensión y análisis de sistemas complejos, con aplicaciones en diversas áreas del conocimiento. Los proyectos que desarrolla abarcan aspectos de la modelización matemática discreta y continua, involucrando métodos de cálculo y análisis variacional, análisis numérico, álgebra lineal computacional, mecánica estadística, teoría de la probabilidad y teoría de control.