Kévin Perrot



Location:
Luminy - Library - 2nd floor
Office A201
(map)

LIF
Parc Sci & Tech de Luminy
163, avenue de Luminy - Case 901
F-13288 Marseille Cedex 9
France

Phone:
+33(0)4 86 09 04 97
rubens
A note on Computability Theory including a video of the Lego Turing machine!


2017 - 2018
  • L3 Info Saint-Charles - Responsabilité pédagogique - AMU
    • slides-prerentree : Les transparants de la réunion de prérentrée du 4 septembre.

  • L3 Info Saint-Charles - Algorithmique avancée - AMU
    • Avec Guyslain Naves.
    • TP01 : Les tarbres, à rendre avant le 9/10/2017 23h59, sur AMeTICE.

  • L3 MPCI - Système - AMU
    • expose : Propositions de sujets.
    • TP-Bash : TP Bash.
    • commandesBash : Commandes Bash.
    • commandesVim : Commandes vim.
    • Cours01 : Organisation, Processus et Interruptions.
    • TD01 : Interruptions.
    • Cours02 : Allocation de ressources et interblocages.
    • TD02 : Allocation de ressources et interblocages.
    • Cours03 : Allocation du processeur.
    • TD03 : Allocation du processeur.

  • M1 Info Luminy - Genie Logiciel - AMU
    • Avec Pablo Arrighi.
    • Tous les documents sont sur le Google Drive.

2016 - 2017
  • L3 Info Saint-Charles - Responsabilité pédagogique - AMU
    • slides-prerentree : Les transparants de la réunion de prérentrée du 7 septembre.

  • L3 Info Saint-Charles - Logique et calculabilité - AMU
  • M1 Info Luminy - Complexité - AMU
    • Avec Nadia Creignou, Giuseppe Di Molfetta et Frédéric Olive.
    • CR : Comment écrire un bon compre rendu de travaux pratiques.
    • TP01 : Sous-séquences maximales.
    • TP01_example_and_test : exemples et script de test (lire README !).
    • TP02 : Le solveur Minisat.
    • TP03 : Deux réductions vers SAT.
    • TP04 : Les réductions avec RACSO online judge.

  • M2 Recheche - MOdèles de CAlcul NAturels - AMU
    • Avec Pablo Arrighi, Giuseppe Di Molfetta et Sylvain Sené.

2015 - 2016
  • Cher-e-s étudiant-e-s, je vous invite à signer ce communiqué et à le diffuser !
  • L3 Info Saint-Charles - Responsabilité pédagogique - AMU
    • slides-prerentree : Les transparants de la réunion de prérentrée du 9 septembre.

  • L3 Info Saint-Charles - Logique et calculabilité - AMU
  • L3 MPCI - Système - AMU
    • expose : Propositions de sujets.
    • TP-Bash : TP Bash.
    • commandesBash : Commandes Bash.
    • commandesVim : Commandes vim.
    • Cours01 : Organisation, Processus et Interruptions.
    • TD01 : Interruptions.
    • Cours02 : Allocation de ressources et interblocages.
    • TD02 : Allocation de ressources et interblocages.
    • Cours03 : Allocation du processeur.
    • TD03 : Allocation du processeur.
    • Cours04 : Allocation de la mémoire.
    • TD04 : Allocation de la mémoire (ROM).
    • TD05 : Allocation de la mémoire (RAM).
    • Cours05 : Parallélisme et synchronisation.
    • TP01 : Parallélisme et synchronisation.
    • TP02 : Parallélisme et synchronisation.
    • programmes : Les programmes.

  • M1 Info Luminy - Complexité - AMU
    • Avec Nadia Creignou, Frédéric Olive et Eloi Perdereau.
    • TP01 : Sous-séquences maximales.
    • TP02 : Le solveur Minisat.
    • TP03 : Deux réductions vers SAT.
    • TP04 : Les réductions avec RACSO online judge.

  • M1 Info Luminy - Genie Logiciel - AMU
    • Avec Pablo Arrighi.
    • Tous les documents sont sur le Google Drive.

  • M2 Recheche - MOdèles de CAlcul NAturels - AMU
    • Avec Pablo Arrighi et Sylvain Sené.


2014 - 2015
  • L3 Info Saint-Charles - Responsabilité pédagogique - AMU
    • slides-prerentree : Les transparants de la réunion de prérentrée du 10 septembre.

  • L3 MPCI - Système - AMU
    • Cours01 : Organisation, Processus et Interruptions.
    • TD01 : Gestion des E/S et temps d'utilisation de l'U.C.
    • TD02 : Interruptions.
    • Cours02 : Allocation de ressources.
    • TD03 : Allocation de ressources et interblocages.
    • Cours03 : Allocation du processeur.
    • TD04 : Allocation du processeur.
    • TP01 : Bash.
    • commandesBash : Commandes Bash.
    • commandesVim : Commandes vim.
    • Cours04 : Allocation de la mémoire.
    • TD05 : Allocation de la mémoire (ROM).
    • TD06 : Allocation de la mémoire (RAM).
    • Cours05 : Parallélisme et synchronisation.
    • Cours05-programmes : Les programmes lancés en cours (zip).
    • TP02 : Parall´lisme et synchronisation (1).

  • M1 Info Luminy - Complexité - AMU
    • Avec Nadia Creignou et Frédéric Olive.
    • TP01 : Sous-séquences maximales.
    • TP01-consignes : Consignes pour le rendu du TP01.
    • TP02 : Le solveur Minisat.
    • TP03 : Deux réductions vers SAT.
    • TP03-consignes : Consignes pour le rendu du TP03.
    • TP04 : Les réductions avec RACSO online judge.

  • M1 Info Luminy - Genie Logiciel - AMU
    • Avec Pablo Arrighi.
    • Tous les documents sont sur le Google Drive.

  • M2 Recheche - MOdèles de CAlcul NAturels - AMU
    • Avec Pablo Arrighi et Sylvain Sené.


2012 - 2013
  • L3IF - FDI - ENS de Lyon
    • Avec Pascal Koiran et Emilie Diot.
    • TD01 : Noel aux galeries Lafayette.
    • TD02 : Automates farcis.
    • TD03 : Salade d'automates.
    • TD04 : Langages rationnels.
    • TD05 : Recettes de grammaire.
    • TD06 : Grand-mere en folie !
    • TD07 : Grand-mere a un pacemaker.
    • TD08 : La recette du gateau tunnel.
    • Partiel : Partiel.
    • TD09 : Theoreme : Les briques de Lego sont Turing-puissantes.
    • TD10 : Mac Neo Gyver a du courrier pour toi.
    • TD11 : Antepenultieme effort avant la fin du monde...
    • DM01 : A ne pas confondre avec Jean.
    • TD12 : (Co.)R.(E.).
    • TD13 : Riri, Fifi et Loulou ne vous seront d'aucune aide.

  • M1IF - Projet Integre - ENS de Lyon
    • Avec Eddy Caron.
    • Logiciel d'edition de scultures en ballons : projet CyBloons.


2011 - 2012
  • M1IF - Projet Integre - ENS de Lyon
  • L3 Info - Systemes d'exploitation - UCB Lyon 1
  • L2 Info - Pratique d'Unix - UCB Lyon 1
    • Avec Thierry Excoffier.
    • Tous les documents sont sur sa page.


2010 - 2011
  • L3IF - FDI 1 - ENS de Lyon
    • Avec Guillaume Hanrot et Bruno Grenet.
    • TD01 : Reecriture abstraite.
    • TD02 : Des chaines.
    • DM01 : 4/10.
    • TD03 : Mettons un terme a la reecriture.
    • TD04 : Recettes de grammaires.
    • DM02 : 18/10.
    • TD05 : Forme normale superieure.
    • TD06 : Regulierement hors-contexte.
    • DM03 : 15/11.
    • TD07 : Revisions.
    • Partiel : 2009/2010.
    • TD08 : Salade d'automates.
    • TD09 : Automates farcis.
    • TD10 : Automate appeal.
    • DM04 : 13/12.
    • TD11 : D'apres un article de M. Minsky et S. Papert (1965).
    • DM05 : 10/01.
    • TD12 : Happy New International Year of Forests.
    • TD13 : Le dernier \pi traite une contre-tetris.

  • L3IF - Projet 1 : langage C - ENS de Lyon
    • TD01
    • TD02
    • TD03
    • Projets
    • C : Introduction, variables, operateurs, instructions, fonctions et procedures, tableaux.
    • C-Cassagne : Cours d'introduction au C par Bernard Cassagne.