Hong-Linh ANH-TON-LE
PhD Student - LACL, Créteil
I am a PhD Student in Computer Science under the supervision of Pierre Valarcher. I study several formalisations of the notion of algorithms:
- the ASMs of Yuri Gurevich
- the Recursive Programs / Recursor of Yiannis Moschovakis
- the framework developed by Thomas Seiller
Teaching (as a teaching assistant)
| 2023 - 2024 | ||
|---|---|---|
| Introduction to Mathematics | | | L1 - Philosophy |
| 2024 - 2025 | ||
| Programming (in pseudo-Java) | | | L1 - Computer Science |
| Programming & Algorithmic | | | M1 - Digital Law |
| 2025-2026 | ||
| Context-Free Language & Interpretation | | | L3 - Computer Science |
| C Programming | | | L2 - Computer Science |