Realiza actividades enfocadas a construir nuevos modelos de computabilidad y a establecer sus relaciones con algunos modelos ya existentes; además de establecer las diferentes posibilidades que ofrece la física cuántica y en general la física moderna para la construcción de nuevos modelos de computación y de programación.