Computabilidad
Pretende construir nuevos modelos de computabilidad y establecer sus relaciones con algunos ya existentes. Aquí son de particular interés los modelos de hipercomputación, es decir, que pueden computar objetos incomputables por una máquina de Turing.
Lógicas No Clásicas
Busca construir sistemas deductivos a partir del cálculo proposicional clásico, utilizando operadores de afirmación alterna (en contraste con la afirmación usual o clásica), negación alterna (en contraste con la negación usual o clásica), y operadores de incompatibilidad y determinabilidad entre parejas de operadores (negaciones versus afirmaciones)
Lógicas, Lenguajes y Algoritmos
Trabaja en el desarrollo de métodos para la verificación, depuración y corrección de programas lógico y/o funcionales, mediante el empleo de técnicas formales.
Mecánica Cuántica y Computación
Pretende establecer las diferentes posibilidades que ofrecen la computación, la física cuántica y, en general, la física moderna, para la construcción, aplicación y programación de modelos.