Teaching

Formal Methods

Practical sessions for M1 students in ISTIC. 24h. Resp : Thomas Genet.

Object-oriented programming

Practical sessions for L2 students in ISTIC. 15h, and participation in writing the end-of-semester project. Resp : Alexandre Termier.

Formal languages

Tutorials for 4th year students in INSA Rennes. 16h. Resp : Barbara Fila.