Olá, sou
James Ortiz
Professor Associado
Doutor em Ciência da Computação
Professor Associado no LACL (Université Paris-Est Créteil), especializado em Ciência da Computação Teórica, Métodos Formais, Cibersegurança e Autômatos Temporizados.
Sobre
Sou professor associado no Laboratório de Algoritmos, Complexidade e Lógica (LACL) da Université Paris-Est Créteil (UPEC). Leciono na EPISEN e sou membro da equipe de Especificação e Verificação de Sistemas.
Anteriormente, fui pesquisador de pós-doutorado no grupo de Sistemas Embarcados Autônomos e Críticos (ACES) do laboratório LTCI da Télécom Paris, no departamento de Redes e Ciência da Computação, onde trabalhei de fevereiro de 2024 a setembro de 2025. Obtive um doutorado em Ciência da Computação pela Universidade de Namur, onde minha pesquisa focou no desenvolvimento de autômatos temporizados usando relógios assíncronos.
Minha pesquisa aborda aspectos teóricos e práticos de métodos formais, autômatos temporizados, testes baseados em modelos, lógicas temporais e temporizadas, verificação de modelos, bem como sistemas ciberfísicos e cibersegurança.
Desenvolvi técnicas de testes de mutação para modelos temporizados, frameworks lógicos para jogos dinâmicos orientados à cibersegurança e ferramentas de verificação (MUPPAAL, MIMETIC, MUTES). Meu trabalho focou particularmente na sincronização e dessincronização de relógios na teoria de autômatos temporizados, bem como em lógicas temporais para sistemas adversariais. Esses trabalhos são aplicados à cibersegurança, com foco em sistemas de tempo real, segurança e resiliência contra ataques.