English version

Bienvenue

Je suis Sabrina Ouazzani, ATER en calculabilité

Je suis actuellement ATER à l'Université Paris-Est Créteil. J'enseigne à l'IUT de Sénart-Fontainebleau (site de Sénart) et effectue ma recherche au LACL .

Voici mon curriculum.

Contact

sabrina.ouazzani (at) lacl.fr

Lacl, bureau P2-218

Recherche

J'ai soutenu ma thèse intitulée "Construction de liens entre algorithmique et logique par du calcul à temps infini" en Décembre 2016 à Montpellier au LIRMM . J'ai principalement travaillé sur la structure des brèches dans les temps de calcul des machines de Turing à temps infini et leurs liens avec les ordinaux admissibles.

Je m'intéresse aux croisements entre l'informatique théorique et la logique.

Mots clés :

  • modèles de calcul, machines de Turing
  • temps infini, ordinaux
  • admissibilité, hiérarchie des constructibles
  • degrés Turing

Publications :

  • [To appear in LNCS, proceedings of CiE 2018] Merlin Carl, Sabrina Ouazzani and Philip Welch, Taming Koepke's zoo.
  • [Lecture Notes in Computer Science, Proceedings of the Computability in Europe 2017] Merlin Carl, Bruno Durand, Grégory Lafitte and Sabrina Ouazzani, Admissibles in gaps.
  • [Thèse soutenue en Décembre 2016] "Construction de liens entre algorithmique et logique par du calcul à temps infini"
Soumises :
  • Infinite Time Turing Machines = Continuous Ordinary Differential Equations, avec Olivier Bournez (Polytechnique)
  • Cheap Non-standard Analysis and Computability, avec Olivier Bournez (Polytechnique)

Pour plus d'informations sur la calculabilité à temps infini :

Exposés

Travaux :

  • Computing to the infinite with Ordinary Differential Equations ALGORITHMIC QUESTIONS IN DYNAMICAL SYSTEMS, Toulouse, Mars 18
  • Infinite time Turing machines: what about gaps in the clockable ordinals? Third Nordic Logic Summer School, Stockholm (Suède), Août 2017
  • Infinite time Turing machines, an introduction to gaps. Institute for Mathematical Sciences (IMS) Graduate Summer School in Logic, Singapour, Juill 17
  • A brief story of gaps in the infinite time Turing machines. Bristol Logic Seminar, University of Bristol (Angleterre), Mai 17
  • A mixture of computability and ordinals, the infinite time Turing machines. Konstanz Women in Mathematics (KWIM) Lectures Series, Université de Constance (Allemagne), Avril 17
  • Let's compute through infinite time! séminaire équipe MC2 LIP ENS Lyon, séminaire équipe CANA LIF Aix-Marseille Université, séminaire LACL Université Paris-Est Créteil, Janv 17 -- séminaire CRIL Université d'Artois (Lens), Fev 17 -- LIFO, journées annuelles du GT Calculabilités et workshop New Worlds of Computation (Orléans), Avril 17
  • Some ordinal time algorithmics, Journées Calculabilités, Nice, Avril 16
  • Ordinal time computation: a presentation, École jeunes chercheurs du GDR IM, Strasbourg, Avril 16
  • Introduction aux machines de Turing à temps infini , séminaire Algèbre Topologie, IMAG, Montpellier, Septembre 2015
  • Temps de non calcul des machines de Turing à temps infini, séminaire Eco-Escape, Lirmm, Montpellier, Juin 2015

Vulgarisation (pour non informaticiens):

  • Poster Machines de Turing à temps infini, Doctiss (conférence des doctorants de l'école doctorale I2S), Montpellier, Juin 2015
  • Introduction aux machines de Turing à temps infini, Semindoc (séminaire des doctorants), Lirmm, Montpellier, Mai 15

Enseignement

À l' Université Paris-Est Créteil (upec),

2016-2018 :

À l' Université de Montpellier (UM, anciennement UM2),

2015-2016 :

  • Algorithmes de graphes, TD/TP(C++) L3 UM
  • Systèmes d'information et bases de données, TD/TP(Oracle) L2 UM

2014-2015 :

2013-2014 :

  • Logique 1, TD/TP(Ocaml), L2 UM2
  • Algorithmique et structures de données, TD/TP(C) L2 UM2 ( contrôle de td )

2012-2013 :

  • Concepts de base en Informatique (C2I), TP L1 UM2

2013-2015, quelques remplacements :

  • Modèles de calcul, TD L1 UM2
  • Théorie (algorithmique) de l'information, TD M1 UM2
  • La calculabilité sous (presque) toutes ses coutures, TD M1 UM2

Organisation/Encadrement

Encadrement

Juin-Juillet 2015 : Encadrement du stage de Guilhem Marion, L2 (découverte de la calculabilité)

Nov-Déc 2014 : Encadrement de l'organisation des rencontres doctorants-docteurs de l'école doctorale I2S

Organisation d'événements scientifiques

2017- : Transfinite computations (TraC), pôle d'intérêt commun de l'association Computability in Europe, contactez-moi pour être ajouté(e) à la mailing-list :)

Octobre 2017: Impliquée dans l'organisation du Symposium transdisciplinaire On the Infinite à l' Institut Henri Poincaré (Paris).

2014-2015 : Co-organisation du séminaire des doctorants du Lirmm, où les doctorants viennent présenter leurs travaux, et des Journées Semidocti, journées bi-annuelles d'exposés moitié science moitié fun, ouvertes à tous

Avril 2014 : Participation à l'organisation des Journées Calculabilités 2014

Mandats

Dec 2014-Fev 2016 : Élue au conseil des doctorants du Lirmm. Présidente du conseil de Mai 2015 à Fev 2016. Le but du conseil est d'apporter un soutien, une médiation et de la prévention dans les problèmes que peuvent renconter les doctorants dans leur lieu de travail, de faire remonter leurs besoins à la direction du Lirmm et d'animer la vie doctorale. Contact : conseil-doctorants ( at ) lirmm.fr. Trucs et astuces pour le quotidien d'un lirmmien : wiki du Lirmm.

Nov 2014-Mar 2016 : Représentante des doctorants en informatique à l'école doctorale I2S