Iniciar Sesión

Acceso mediante UVUS

Usuario
Contraseña *

Responsable:

Mario Jesús Pérez Jiménez
marper ARROBA us PUNTO es

Descripción:

  • Desarrollo de lenguajes formales para la especificación de sistemas dinámicos complejos multi-escalares con especial atención a sistemas multi-compartimentales en organizaciones biológicas que van desde colonias bacterianas hasta ecosistemas.
  • Desarrollo de algoritmos basados en semánticas formales para la correcta simulación e integración de las diferentes escalas espacio-temporales presentes en dichos sistemas biológicos.
  • Implementación usando tecnologías de alto rendimiento computacional (high perfomance computing) basadas en el uso de procesadores gráficos optimizados para propósito general (GPGPU) de marcos computacionales que combinen los lenguajes y algoritmos desarrollados en los dos puntos anteriores.
  • Diseño de modelos dentro de las disciplinas integradoras Biología Computacional de Sistemas y Biología Sintética usando los marcos computacionales anteriores.
  • Estudio teórico del poder computacional y de la eficiencia de los paradigmas computacionales no convencionales inspirados en la estructura y el funcionamiento de sistemas biológicos, principalmente con el objetivo de proporcionar caracterizaciones no convencionales de la conjetura P distinto de NP.
Más Información.