Hola, soy
James Ortiz
Profesor Asociado
Doctor en Informática
Profesor Asociado en LACL (Universidad Paris-Est Créteil), especializado en Informática Teórica, Métodos Formales, Ciberseguridad y Autómatas Temporizados.
Acerca de
Soy profesor titular en el Laboratorio de Algorítmica, Complejidad y Lógica (LACL) de la Universidad Paris-Est Créteil (UPEC). Imparto docencia en EPISEN y soy miembro del equipo de Especificación y Verificación de Sistemas.
Anteriormente, fui investigador posdoctoral en el grupo de Sistemas Embebidos Autónomos y Críticos (ACES) del laboratorio LTCI de Télécom Paris, en el departamento de Redes e Informática, donde trabajé desde febrero de 2024 hasta septiembre de 2025. Obtuve un doctorado en Informática en la Universidad de Namur, donde mi investigación se centró en el desarrollo de autómatas temporizados con relojes asíncronos.
Mis investigaciones abordan aspectos teóricos y prácticos de los métodos formales, los autómatas temporizados, el test basado en modelos, las lógicas temporales y temporizadas, el model checking, así como los sistemas ciberfísicos y la ciberseguridad.
He desarrollado pruebas de mutación para modelos temporizados, marcos lógicos para juegos dinámicos orientados a la ciberseguridad y herramientas de verificación (MUPPAAL, MIMETIC, MUTES). Me he interesado especialmente en la sincronización y desincronización de relojes en la teoría de los autómatas temporizados, así como en lógicas temporales para sistemas adversariales. Estos trabajos se aplican a la ciberseguridad, con énfasis en el tiempo real, la seguridad y la resiliencia frente a ataques.