James Ortiz CV

💻

James Ortiz

PhD. Computer Science

Université Paris-Est Créteil Val de Marne

About Me

I am an associate professor at Laboratoire d’Algorithmique, Complexité, Logique (LACL) in Université Paris-Est Créteil (U-PEC). I work in the Systems Specification and Verification team. My work focuses on formal methods, timed automata, model-based testing, temporal/timed logics, model checking, cyberPhysical an cybersecurity systems. I develop novel mutation testing approaches for timed models, logical frameworks for reasoning about dynamic games, and efficient verification tools such as MUPPAAL.

Thesis

Interests

Real-time systems
Mutation testing
Timed Automata
Markov processes
Safety-critical systems

Education

PhD in Computer Science
University of Namur (UNamur), Belgium
BSc in Systems Engineering
Universidad del Valle, Colombia

📚 My Research

I am a computer science researcher specializing in formal verification, timed automata, and model-based testing for real-time systems.

My work focuses on developing rigorous methods and tools to improve the reliability and correctness of safety-critical and distributed systems using temporal logics and mutation testing.

I collaborate internationally across Europe and Latin America and actively contribute to advancing the theory and practice of formal methods in dynamic, time-sensitive environments.

Feel free to reach out for research collaboration or academic exchanges! 😃

Featured Publications