| Home | Research | Teaching | Médiation | Contact | CV (fr) |
Dans le cadre de mon activité complémentaire de diffusion (ACD) au sein de la MMI, je participe à différentes manifestations visant à porter les connaissances du domaine informatique au public scolaire ou au grand public (Fête de la science, festival Pop science).
La formalisation du raisonnement mathématique par les systèmes de preuves a amené à en découvrir des structures régulières, presque mécaniques. Que se passe-t-il si on tente d'implanter cette mécanique dans un ordinateur ?
Présentation introductive de la notion de preuve formelle, ses aspects mécaniques, et ce que l'on est capable de faire à l'heure actuelle en terme de preuves sur ordinateur.
Un algorithme c'est comme une recette de cuisine, c'est une suite d'instructions qui permet de réaliser un plat (ou un calcul). Mais que se passe-t-il lorsqu'il y a plusieurs commis en cuisine ? Comment réécrire la recette pour profiter de toutes les mains supplémentaires ? C'est tout le problème de l'algorithmique distribuée auquel vous pourrez venir vous exposer !
Présentation introductive des problématiques de l'algorithmique concurrente et distribuée (algorithmie pour plus d'un processeur) en faisant participer le publique pour illustrer certains des ces algorithmes (par exemple comment trouver rapidement dans l'assistance la personne dont la date d'anniversaire est la plus proche du 20 mai)
Je suis de près les activités d'informatique débranchée du groupe Info Sans Ordi, CS unplugged.
Je cherche également à développer des contenus de médiations sur les thèmes de l'informatique fondamentale, notamment en logique et sémantique. Quelques réflexions ici, merci de me contacter si vous avez des idées ou références sur le sujet.