6 sujets de projets sous ouverts dans l’équipe à l’automne 2012 :
- sujet de technique de M2 : Refactorisation et portage vers Scala d’une application de reconnaissance d’émotions ;
- sujet recherche de M2 : Modèle de couplage avec un réseau de neurones à impulsions ;
- Sujet recherche M1/M2 : Design d’un domaine abstrait numérique pour les analyses de programme ;
- Sujet Recherche M1/M2 : Implémentation dans LLVM d’analyses légères de pointeurs de programmes C ;
- sujet de projet de fin d’étude ingénieur : Simulateur de réseaux de neurones à impulsions ;
- sujet de projet de fin d’étude GIS5 : Comparaison statistique de méthodes informatiques
d’analyses de programme.