James Ortiz

Je suis maître de conférences au Laboratoire d’Algorithmique, Complexité et Logique (LACL) de l’Université Paris-Est Créteil (UPEC). J'enseigne à l'EPISEN et suis membre de l'équipe Spécification et Vérification des Systèmes.

Auparavant, j'étais chercheur postdoctorant au sein du groupe Systèmes Embarqués Autonomes et Critiques (ACES) du laboratoire LTCI de Télécom Paris, dans le département Réseaux et Informatique. J'y ai travaillé de février 2024 à septembre 2025. J'ai obtenu un doctorat en informatique à l'Université de Namur, où mes recherches portaient sur le développement d'automates temporisés utilisant des horloges asynchrones.

Mes recherches portent sur les aspects théoriques et pratiques des méthodes formelles, des automates temporisés, du test à base de modèles, des logiques temporelles et temporisées, du model checking, ainsi que sur les systèmes cyberphysiques et la cybersécurité.

J'ai développé des tests de mutation pour modèles temporisés, des cadres logiques pour jeux dynamiques orientés cybersécurité, et des outils de vérification (MUPPAAL, MIMETIC, MUTES). Je me suis notamment intéressé à la synchronisation et à la désynchronisation des horloges dans la théorie des automates temporisés, ainsi qu’à des logiques temporelles pour des systèmes adversariaux. Mes travaux s'appliquent à la cybersécurité, avec accent sur le temps réel, la sécurité et la résilience face aux attaques.