---
type: Person
title: James Ortiz
description: Associate Professor at LACL, Université Paris-Est Créteil. Researcher in formal methods, timed automata, temporal logics, cybersecurity, and model-based testing.
resource: https://jamesortiz.site/en
tags: [james-ortiz, lacl, upec, formal-methods]
timestamp: 2026-08-15
---

# James Ortiz

James Ortiz is an Associate Professor at the Laboratory of Algorithms, Complexity and Logic (LACL), Université Paris-Est Créteil (UPEC). He teaches at EPISEN and belongs to the Specification and Verification of Systems team. His work covers formal methods, timed automata, temporal logics, cybersecurity, and model-based testing of real-time systems.

He previously was a postdoctoral researcher in the Autonomous and Critical Embedded Systems (ACES) group at Télécom Paris (LTCI), from February 2024 to August 2025. He earned a PhD in Computer Science from the University of Namur in April 2023. His thesis, supervised by Prof. Pierre-Yves Schobbens, developed timed automata with partially independent clocks for modeling and verifying distributed and real-time systems. He also holds an M.Sc. in Computer Science from Universidad del Valle, Colombia (2006–2008). He is Belgian and Colombian.

## Biography

I am an associate professor at the Laboratory of Algorithms, Complexity and Logic (LACL) at Université Paris-Est Créteil (UPEC). I teach at EPISEN and am a member of the Specification and Verification of Systems team.

Previously, I was a postdoctoral researcher in the Autonomous and Critical Embedded Systems (ACES) group at the LTCI laboratory of Télécom Paris, within the Networks and Computer Science department, where I worked from February 2024 to September 2025. I obtained a PhD in Computer Science from the University of Namur, where my research focused on the development of timed automata using asynchronous clocks.

My research addresses both theoretical and practical aspects of formal methods, timed automata, model-based testing, temporal and timed logics, model checking, as well as cyber-physical systems and cybersecurity.

I have developed mutation testing techniques for timed models, logical frameworks for cybersecurity-oriented dynamic games, and verification tools (MUPPAAL, MIMETIC, MUTES). My work has particularly focused on clock synchronization and desynchronization in timed automata theory, as well as temporal logics for adversarial systems. These works are applied to cybersecurity, with a focus on real-time systems, security, and resilience against attacks.

## Spoken languages

- Spanish — native
- English — C1 (PhD and publications in English)
- French — C1 (teaching in French)
- Portuguese — B2

## Related

- [Research](research.md)
- [Publications](publications.md)
- [Teaching](teaching.md)
- [Experience](experience.md)
- [Projects](projects.md)
- [Tools](tools.md)
- [Contact](contact.md)
- [FAQ](faq.md)