|
Laboratoire Jean-Alexandre Dieudonné Université de Nice Sophia Antipolis Parc Valrose 06108 Nice cedex 2 |
Tel. +33 4 92 07 62 63 bureau 701 3ème étage |
Actuellement je suis doctorante au laboratoire Dieudonné dans l'équipe Algèbre, Topologie et Géométrie, sous la direction de André Hirschowitz. Le sujet de ma thèse est «Catégories de Lambda-Calculs». Pour une introduction dans ce sujet, voir les transparents de mon exposé de SPF.
Mon CV : .pdf
Pendant mes études j'ai écrit plusieurs mémoires de recherche :
bachelor thesis, Munich 2004 : Färbungen
von Digraphen / digraph colorings
mémoire de master 1, Nice 2005 : Fonctions
itérées stochastiques et images fractales
mémoire de master 2, Nice 2006 : Le
lambda calcul vu comme monade initiale (code
coq et les transparents
de la soutenance)
Monades et le Lambda Calcul, Séminaire SPF, 28.9.2007, les transparents
Le théorème de Church-Rosser, Colloque doctorant, 14.3.2008, les transparents (c'est une blague M. Rosser)
La signature du Lambda-calcul typé, Séminaire Géométrie Algébrique, 13.5.2008, les transparents basés sur l'artcile pour l'école doctorale
Monades du Lambda - Calcul, Colloque doctorant, 8.5.2009, les transparents
TD Analyse des Données (2006/07)
TD Probabilités (2007)
TD Analyse des Données (2007/08)
TD Probabilités (2008)
TD Probabilités (2009)
TD Statistiques (2009/10)
TD Algèbre 2 (2009/10)
mon blog a été ressuscité
visiteurs :