# James Ortiz

> Associate Professor at the Laboratory of Algorithms, Complexity and Logic (LACL), Université Paris-Est Créteil (UPEC). Researcher in formal methods, timed automata, temporal logics, cybersecurity, and model-based testing.

James Ortiz teaches at EPISEN and belongs to the Specification and Verification of Systems team. He previously was a postdoctoral researcher in the ACES group at Télécom Paris (LTCI) and earned a PhD in Computer Science from the University of Namur on timed automata with asynchronous clocks.

Markdown versions of each page are available at the same path with a `.md` suffix (for example `/research.md`). The Open Knowledge Format bundle at `/okf/` is the same content with YAML frontmatter and cross-links.

## Site

HTML pages are prefixed by language: `/en`, `/es`, `/fr`, `/pt`. Unprefixed URLs redirect to English.

- [Home](https://jamesortiz.site/index.md): Biography, skills, and profile — [en](https://jamesortiz.site/en) · [es](https://jamesortiz.site/es) · [fr](https://jamesortiz.site/fr) · [pt](https://jamesortiz.site/pt)
- [Research](https://jamesortiz.site/research.md): Research interests (timed automata, temporal logics, model checking, mutation testing) — [en](https://jamesortiz.site/en/research)
- [Publications](https://jamesortiz.site/publications.md): Journal, conference, and workshop papers — [en](https://jamesortiz.site/en/publications)
- [Teaching](https://jamesortiz.site/teaching.md): Courses at EPISEN and UPEC — [en](https://jamesortiz.site/en/teaching)
- [Experience](https://jamesortiz.site/experience.md): Academic appointments — [en](https://jamesortiz.site/en/experience)
- [Projects](https://jamesortiz.site/projects.md): Research projects including TAPAS — [en](https://jamesortiz.site/en/projects)
- [Contact](https://jamesortiz.site/contact.md): Email and academic profiles — [en](https://jamesortiz.site/en/contact)
- [FAQ](https://jamesortiz.site/okf/faq.md): Common questions about James Ortiz
- [Tools](https://jamesortiz.site/okf/tools.md): MUPPAAL, MIMETIC, and MUTES

## Academic profiles

- [ORCID](https://orcid.org/0000-0001-5407-963X)
- [Google Scholar](https://scholar.google.com/citations?user=x5XHr_AAAAAJ&hl=en)
- [DBLP](https://dblp.org/pid/24/8836.html)
- [ResearchGate](https://www.researchgate.net/profile/James-Ortiz)
- [GitHub](https://github.com/jortizve)
- [LinkedIn](https://www.linkedin.com/in/james-ortiz-44bb9b53)

## Optional

- [Full text dump](https://jamesortiz.site/llms-full.txt): Single-file extract of the site for agents that prefer one document
- [OKF bundle](https://jamesortiz.site/okf/index.md): Cross-linked Open Knowledge Format directory
- [HTML site](https://jamesortiz.site/en): Human-readable pages (English; other locales at /es, /fr, /pt)
- [Sitemap](https://jamesortiz.site/sitemap.xml)