E-mail: abbrugia@math.unice.fr
Téléphone: 04 92 07 62 89 (bureau 822)

Doctorant à l'UNSA, j'appartiens toujours à l'équipe gp (et si!).

Je termine actuellement ma thèse sous la direction d'André Hirschowitz

Mes autres centres d'intérêt gravitent autour des mathématiques assistées par ordinateur .

Je suis également ATER à l'EPU de Nice Sophia-Antipolis.

• Tutorats en deug MI2 (2002/2003 et 2003/2004)
  Chers amis étudiants, cette page propose des énoncés ainsi que des corrigés des td de l'année 2003/2004.
  Si en revanche vous êtes une autorité compétente, mes rapports de séances 2003/2004 sont toujours en ligne.
  Vers la fin de l'année 2003, j'ai miraculeusement retrouvé et mis en ligne le rapport de l'année 2002/2003 , exemple-type de ce qu'on peut faire de plus lamentable dans le genre.
  
  
• TP de Maple en deug MASS1 (2003/2004)
  Cette mini page liste les énoncés des TP de l'année 2003/2004, ainsi que la correction détaillée de l'un d'entre eux.
  
  
• Aide aux élèves de licence de maths (2004/2005)
  Il m'arrive de produire des documents pour mes élèves, qui en ont tout naturellement la primeur.
  Cela dit, après délai de quelques semaines, ça tombe dans le domaine public, non?
  
  
• Cours-td de théorie de l'information en licence à l'IUT (2004/2005)
  Voici une page consacrée à cet enseignement.
  
  
• Cours de compléments mathématiques en DUT2 à l'IUT (2004/2005)
  Mon cours et les feuilles de td sont en ligne.
  Les cinq chapitres de cours et les cinq feuilles de td sont disponibles, ainsi que leurs corrigés.
  
  
• Cours de codages mathématiques en licence professionnelle à l'IUT (2005/2006)
  La page suivante est consacrée à ce cours.
  Le cours, les énoncés de td, les contrôles, des corrigés et d'autres documents sont en ligne.
  
  
• Enseignements à l'IUT (2006/2007)
  - TP de Math en DUT1 (avec une page qui contient toutes sortes de friandises sympathiques)
  - TD de Graphes et Arbres correspondant au cours d'Élisabeth Pécou
  
  
• Enseignements à l'IUT (2007/2008)
  - Rebelotte TP de Math en DUT1 (avec une page qui contient de nouveaux énoncés), mais en semestre 2 décalé.
  - Re-re TP de Math en DUT1 (avec une page qui contient des énoncés sensiblement identiques).
  Avis aux recruteurs potentiels : je commence à être un crack en TP de Math pour DUT1...
  
  
• Enseignements courts à l'Ecole Polytechnique Universitaire de Nice (2008/2009)
  - Cours/TD de Scilab en MAM3 : la page suivante est consacrée à ce cours. Les énoncés et corrigés de td sont en ligne.
  - TD d'Outils Mathématiques pour l'Ingénieur en CIP1 (merci Dédé pour le cadeau). Ce TD m'est un peu tombé dessus sans prévenir, je n'y ai consacré qu'une petite page.
  - TD de de logique en SI3 : enseignement d'un demi-semestre semestre sous la direction de Michel Rueher : voir la page consacrée au cours et aux td sur le site de Michel Rueher.
  
  
• Enseignements longs à l'Ecole Polytechnique Universitaire de Nice (2008/2009)
  - Cours/TD de Mathématiques pour la biologie en GB3 : la page suivante est consacrée à ce cours.
  - Cours/TD de Statistiques pour la biologie en GB3 (en collaboration avec Frederic Dayan) : la page avec mon cours du 03/02.
  
  

• Page du SPF
  Voici un lien vers la page des Séminaires Pampers Faciles, association créée par Stéphane, Pierre, et Fabien.
  
  
  
• Mes centres d'intérêt actuels
  Alors là, c'est pas compliqué : mon trip, ce sont les dogmes de Joachim Lambek et les typoïdes de Maggesi/Hischowitz, même si les miens c'est pas les mêmes.
  
  
  
• Voici quelques petits exercices avec Coq