Supervisión de máster & doctorado

Acepto estudiantes de máster & doctorado

Un número limitado de estudiantes de posgrado cada año. Obtienes una dirección de investigación concreta, supervisión cercana, artículos en coautoría en publicaciones con revisión por pares y una ruta clara desde tu primer artículo hasta la defensa de la tesis: las publicaciones se realizan a través de las revistas de la plataforma ENIGMA y de foros internacionales (IEEE Access, actas de MathAI & SmartCity).

Tu ruta: primer artículo en ~6 meses → ponencia en congreso (MathAI / SmartCity) → tesis.

Direcciones

Cinco líneas de investigación

Lógica matemática & computabilidad

Computabilidad polinomial, semántica formal, teoremas de punto fijo: los fundamentos sobre los que se apoya mi propio programa de investigación.

Verificación de IA & IA confiable

Los métodos formales se encuentran con los LLM: arneses de verificación, comprobación de citas y lo que hace falta para confiar en un modelo en producción.

Sistemas multiagente & arquitecturas AGI

Arquitecturas cognitivas basadas en tareas, protocolos de coordinación y economías de agentes: la línea de trabajo de IEEE Access.

Ciudades inteligentes & gemelos digitales

Simulación urbana basada en agentes, gobernanza de gemelos digitales e inteligencia cívica.

Teoría de blockchain & métodos formales

Axiomatización de sistemas blockchain, registros verificables y arquitecturas de conocimiento por capas.

Escríbeme una carta breve: tu trayectoria y qué dirección te entusiasma.

Solicita abajo ↓ Postúlate por correo →

Solicitud