---
type: Index
title: James Ortiz — Open Knowledge Format
description: Agent-readable knowledge bundle for the academic site of James Ortiz, Associate Professor at LACL, Université Paris-Est Créteil.
resource: https://jamesortiz.site/okf/
tags: [formal-methods, timed-automata, cybersecurity, upec, lacl]
timestamp: 2026-08-15
---

# James Ortiz — Knowledge Bundle

This directory is an [Open Knowledge Format](https://github.com/GoogleCloudPlatform/knowledge-catalog/blob/HEAD/okf/SPEC.md) bundle. Each file is a self-contained concept with YAML frontmatter and markdown links to related files.

## Person

- [James Ortiz](person.md) — Associate Professor at LACL, Université Paris-Est Créteil

## Pages

- [Research](research.md) — Timed automata, temporal logics, model checking, mutation testing
- [Publications](publications.md) — Journal, conference, and workshop papers
- [Teaching](teaching.md) — Courses at EPISEN and UPEC
- [Experience](experience.md) — Academic appointments and education
- [Projects](projects.md) — TAPAS and related research projects
- [Contact](contact.md) — Email, office, and academic profiles
- [FAQ](faq.md) — Common questions about James Ortiz
- [Tools](tools.md) — MUPPAAL, MIMETIC, and MUTES

## HTML site

Pages are prefixed by language (`/en`, `/es`, `/fr`, `/pt`). English is the default and `x-default`.

- [Home](https://jamesortiz.site/en)
- [Research](https://jamesortiz.site/en/research)
- [Publications](https://jamesortiz.site/en/publications)
- [Teaching](https://jamesortiz.site/en/teaching)
- [Experience](https://jamesortiz.site/en/experience)
- [Projects](https://jamesortiz.site/en/projects)
- [Contact](https://jamesortiz.site/en/contact)