Section: Dissemination

Teaching

• Licence :

  Thomas Genet, Programmation fonctionnelle, 44h, L3, Rennes 1, France

  David Cachera, Logique et calculabilité, 36h, L3, ENS Cachan Bretagne, France

  David Cachera, Algorithmique avancée, 18h, L3, ENS Cachan Bretagne, France

  David Cachera, Langages formels, 24h, L3, ENS Cachan Bretagne, France

  Sandrine Blazy, Programmation fonctionnelle, 20h, L3, Rennes 1, France

• Master :

  Alan Schmitt, Méthodes Formelles pour le développement de logiciels sûrs, 36h, M1, Rennes 1, France

  Frédéric Besson, Compilation, 30h, M1, Insa Rennes, France

  Thomas Genet, Bases de la cryptographie, 18h, M2, Rennes 1, France

  Thomas Genet, Analyse et conception objet, 48h, M1, Rennes 1, France

  Thomas Genet, Validation et vérification formelle, 38h, M1, Rennes 1, France

  David Cachera, Sémantique des langages de programmation, 36h, M1, Rennes 1, France

  David Cachera, Préparation à l'agrégation, 60h, M2, ENS Cachan Bretagne, France

  Sandrine Blazy, Méthodes Formelles pour le développement de logiciels sûrs, 48h, M1, Rennes 1, France

  Sandrine Blazy, Conception de logiciels surs, 40h, M2, Rennes1, France.

  Sandrine Blazy, Évaluation des vulnérabilités des logiciels, 21h, M2, Rennes 1, France.

  Sandrine Blazy, Veille technologique, 19h, M2, Rennes 1, France

  Thomas Jensen, Program Analysis and Semantics, 20h, M2, Rennes 1, France

  Thomas Jensen, Software Security, 20h, M2, Rennes 1, France.

PhD & HdR :

• HdR : Arnaud Gotlieb, Contributions to Constraint-Based Testing, Université de Rennes, 12 Décembre 2011

• PhD : Mickael Delahaye, Généralisation de chemins infaisables pour l'exécution symbolique dynamique, Université de Rennes, 26 Octobre 2011, Arnaud Gotlieb et Thomas Jensen

• PhD : Nadjib Lazaar, Méthodologie et outil de test, de localisation de fautes et de correction automatique des programmes contraintes, Université de Rennes, 5 Décembre 2011, Arnaud Gotlieb and Thomas Jensen

• PhD in progress: Valérie Murat, Automatic verification of infinite state systems using tree automata completion, octobre 2010, Thomas Genet and Axel Legay

• PhD in progress: Yann Salmon, Optimized rewriting proof search using approximations and tree automata, octobre 2011, Thomas Genet

• PhD in progress: Arnaud Jobin, Dioïdes et idéaux de polynômes en analyse statique, ENS Cachan, septembre 2008, soutenance prévue en janvier 2012, David Cachera and Thomas Jensen

• PhD in progress: Andre Oliveira Maroneze, Compilation vérifiée et calcul de temps d'exécution au pire cas, septembre 2010, Sandrine Blazy and Isabelle Puaut

• PhD in progress: Stéphanie Riaud, Transformations de programmes pertinentes pour la sécurité du logiciel, septembre 2011, Sandrine Blazy

• PhD in progress: Pierre-Emmanuel Cornilleau, PCC certificates for static analysis, octobre 2009, Thomas Jensen and Frédéric Besson

• PhD in progress: Zhoulai Fu, Abstract interpretation and memory analysis, octobre 2009, Thomas Jensen and David Pichardie

• PhD in progress: Delphine Demange, Certified Intermediate Representations, octobre 2009, Thomas Jensen and David Pichardie.