Julie PARREAUXPost-doctorante en informatique |
|
 |
Julie PARREAUXPost-doctorante en informatique |
|
|
Vous trouverez sur cette page la liste des cours que j'ai suivis.
Vous trouverez ici une description complète de l'ensemble des cours suivis.
| SEM | Sémantique: Etude et utilisation de sémantiques des langages de programmation pour vérifier la correction de programme grâce à l'assistant de preuve Coq. | |
| GTA | Game Theory and Applications: introduction à la théorie des jeux dans le but de modéliser des intéractions. | |
| SOS | Software Security: Analyse et sécurisation de programme informatique via notamment l'analyse statique. | |
| ADM | Faire parler les données : analyse et modélisation probabilistiques des données: Étude des modèles statistiques permetttant l'analyse des données: la statistique exploratoire et la statistique inférentielle. |
| CSV | Complex Systems Verification: Model Checking pour des modèles stochastiques et temporisés (temps réel). | |
| MAD | Modèles et algorithmes pour le distribué: Modélisation et vérification de systèmes à exécution parallèles sous forme d'ordre partiel d'évènements ainsi que la programmation de certaines briques de base nécessaires à ces systèmes. | |
| ASM | Advanced Semantics: Etude des sémantiques de language de programmation: sémantique logique, sémantiques dénotationnelles, systèmes de types, ... |
Vous trouverez ici une description complète de l'ensemble des cours suivis.
| PDS | Programmation Dirigée par la Syntaxe: Etude et conception de la face avant d'un compilateur | |
| THX | Théorie de la complexité: Classes de complexité en temps et en espace, de NL à EXPTIME | |
| ACF | Analyse et Conception Formelle: Paradigme de la programmation certifiée, utilisation d'Isabelle/HOL | |
| MVFA | Modélisation et Vérification Formelle par automates: Conception de modèles pour les systèmes distribués (TS) et utilisation des logiques LTL et CTL afin de prouver des propriétés sur les modèles construits. | |
| SPA | Solver Principles Architectures: Algorithmiques et principes clés pour les solveurs SAT et SMT, l'optimisation convexe et l'élimilation des quantificateurs. Ce module est un module du M2 Science Informatique de l'Université de Rennes 1, vous trouverez ici une description de ce cours. | |
| TS | Traitement du signal: Introduction à la théorie du traitement du signal et notamment du signal sonore. |
Afin de préparer l'année de préparation à l'agrégation de mathématiques, je suis également deux cours de mathéatiques de l'Université de Rennes 1, en candidate libre: INTL, intégrale de Lebesgue dispensé en Licence 3 de mathématiques parcours recherche et agrégation et ALGB, la théorie des modules et les extensions de corps dispensé en Master 1 de mathématiques parcours recherche.
| APS | Algorithmes Pour la Sécurité: Introduction à la cryptologie: étude de protocoles cryptographiques (bases mathématiques et implémentation d'attaques) | |
| COBRA | Combinatorial Optimisation and Related Algorithms: Programmation linéaire (modélisation, implémentation, algorithmique), Thérorie de la dualité | |
| LRC | Logique et Représentation des Connaissances: Etude des logiques modales dans le cadre de l'intelligence artificielle | |
| BDA | Base de Données Avancée: Etude du fonctionnement des bases de données (indexation, optimisation, SQL) et des bases théoriques de la complexité descriptives. | |
| TIC | Théorie de l'Information:Définition de la notion d'information étude formelles des systèmes d'information centralisés ou distribués |
Vous trouverez ici une description complète de l'ensemble des cours suivis.
| Prog 1 | Programmation 1: Paradigme de la programmation fonctionnelle et orientée objet: OCaml, Scala | |
| Algo 1 | Algorithmique 1: Correction et terminaison des algorithmes, algorithmes de tri, algorithmes de graphe, algorithmes glouton, programmation dynamique | |
| ArcSys 1 | Architecture et système 1: Système Unix, programmation en C, réseau | |
| Maths 1 | Mathématiques 1: Intégrales de Lebesgue, série de Fourier | |
| Maths 4 | Mathématiques 4: Optimisation sur des fonctions à plusieurs variables, cryptographie | |
| Fond 1 | Fondement de l'informatique 1: Langages formels et calculabilité | |
| IRESI | Introduction aux Réseaux Informatique: modélisation des réseaux informatique, synchronisation, sécurité des réseaux, surveillance des réseaux. | |
| Sécurité | Introduction à la sécurité informatique: cryptographie, problème de sécurité, menaces, authentification, contrôle d'accès, cloisonnement. |
Les cours IRESI et Sécurité sont des cours suivis en auditeur libre: ils ne sont pas pris en compte dans mon contrat pédagogique.
| Prog 2 | Programmation 2: Etude des langages C++ et Lisp dans le but de faire un interpréteur LISP en C++. | |
| Algo 2 | Algorithmique 2: Classes de compléxité des problèmes, algorithme d'approximation, algorithmes probabilistes. | |
| ArcSys 2 | Architecture et système 2: Etude d'un processeur, assembleur | |
| Maths 2 | Mathématiques 2: Introduction à la statistique, théorie des probabilités | |
| XTRA | Formation à la recherche: visiter un chercheur, fonctionnement d'une conférence, recherche de stage. | |
| Fond 2 | Fondement de l'informatique 2: Logique et calculabilité | |
| Système distribué | Algorithmique appliquée au système distribué: algorithme distribué, coloration des graphes. | |
| IMA | Image: modélisation, rendu, animation. | |
| Pédago | Activité débranchée en primaire. |
Le cours IMA est un cours suivi en auditeur libre: il n'ai pas pris en compte dans mon contrat pédagogique.