TASSON Christine

Full Professor, Sorbonne Université
Team : APR
https://tasson.perso.lip6.fr

Departure date : 12/31/2022

One PhD Student (Supervision / Co-supervision)

CARBONNEAU Danaël : Machines Co-inductives Monadiques pour la Programmation Probabiliste Certifiée.

2025
- É. Thomé, X. Denis, Ch. Tasson : “GRust: A Programming Language for Automotive Engineering”, Formal Methods for Industrial Critical Systems (FMICS), vol. 16040, Lecture Notes in Computer Science, Aarhus, Denmark, pp. 127-143, (Springer Nature Switzerland) (2025)
2022
- A. Guatto, Ch. Tasson, A. Vienot : “A reactive operational semantics for a lambda-calculus with time warps”, Journées Francophones des Langages Applicatifs - JFLA 2022, Saint-Médard-d'Excideuil, France (2022)