Imag, Modèles de calculs
Ekzercaro por L3 lernantoj.
Ĉi tiu paĝo listas mian instruistaron, kune kun kelkaj de ties materialo kiun mi helpis krei. La lingvo de tiuj dokumentoj dependas de la kurso kaj de ties studentoj (ĉefe france kaj angle).
2022–2025MalafiŝiLigilo
Polytech, Langages et Traducteurs, Programmation Fonctionnelle
Ekzercaro por M1 lernantoj.
2021MalafiŝiLigilo
Ensimag, Projet génie logiciel
Programa projekto por studentoj de la dua inĝeniera jaro (M1). Kursreferenco : 4MMPGL6.
Ensimag, Théorie des langages 2
Ekzercaro por studentoj de la unua inĝeniera jaro (L3). Kursreferenco : 3MMTL2.
Imag, Modèles de calculs
Ekzercaro por L3 lernantoj. Kursreferenco: GBIN6U02 MCAL.
2018, 2019MalafiŝiLigilo
Imperial College London, Separation Logic
Ekzercaro por M1 lernantoj. Kursreferenco: CO404.
Imperial College London, Models of Computation
Ekzercaro por L2 lernantoj. Kursreferenco: CO240.
2017MalafiŝiLigilo
Universidad de Chile, Introducción a Coq: Lógica, Tipos y Verificación
Kursoj kaj superrigardataj laboroj por M2 lernantoj. Kursreferenco: CC7125/MA7125.
2013, 2014MalafiŝiLigilo
ENS Cachan Bretagne, Software design and verification
Ekzercaro por M1 lernantoj.
ENS Cachan Bretagne, Langages formels
Ekzercaro L3 lernantoj.
Université Rennes 1, Introduction à la programmation fonctionnelle
Kursoj kaj superrigardataj laboroj por L1 lernantoj.
2012MalafiŝiLigilo
Insa Rennes, Introduction à Scheme
Kursoj kaj superrigardataj laboroj por L1 lernantoj.