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.
