---
type: Article
title: Computer Science Teaching at EPISEN
description: Courses taught by James Ortiz at EPISEN and Université Paris-Est Créteil, covering theoretical computer science, formal methods, and software verification.
resource: https://jamesortiz.site/en/teaching
tags: [teaching, episen, upec, software-security, model-checking]
timestamp: 2026-08-15
---

# Teaching

James Ortiz teaches at EPISEN, the engineering school of Université Paris-Est Créteil, and is a member of the Specification and Verification of Systems team at LACL. His teaching covers theoretical computer science, formal methods, and software verification.

## Current courses (2025–2026)

All current courses are at Université Paris-Est Créteil — EPISEN, Bachelor level, 24 hours, as Associate Professor.

- **Software Security (ING3-1)** — Security principles, vulnerability analysis, and formal verification techniques for secure software development.
- **Cloud Security (ING3-2)** — Security challenges in cloud computing, secure architectures, and formal verification of cloud systems.
- **Algorithm Analysis (ECUE-143)** — Complexity theory, algorithm design techniques, and performance analysis.
- **Python Programming (ECUE-142)** — Python fundamentals, data structures, and software development practices.

## Earlier teaching

He has taught Model Checking (INFOM471) at the University of Namur (Master, UPPAAL and SCADE labs) and Fundamentals of Distributed System Verification at Télécom Paris / Institut Polytechnique de Paris (2024–2025). From 2015 to 2024 at Namur he taught or assisted Programming 2 (C), Algorithms 2 (Java), Language Theory, Operations Research, and Model Checking. In 2008–2010 he assisted Algorithms and Programming Languages at Universidad del Valle, Colombia.

## Related

- [James Ortiz](person.md)
- [Experience](experience.md)
- [Research](research.md)
- [Contact](contact.md)