English version

Bienvenue

Je suis Sabrina Ouazzani, post-doc en calculabilité

Je suis actuellement en post-doctorat à l'École Polytechnique financée par le labex Digicosme encadrée par Olivier Bournez et Benjamin Hellouin dans le cadre du projet ACDC. J'effectue ma recherche au LIX .

Voici mon curriculum.

Voici la page du projet ACDC de l'appel printemps 2018 du labex digicosme.

Contact

sabrina (at) lix.polytechnique.fr

Lix, bureau 2133

Recherche

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 (articles):

  • [To appear in the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing 2018] Olivier Bournez and Sabrina Ouazzani, Cheap Non-standard Analysis and Computability: Some applications
  • [Lecture Notes in Computer Science, Proceedings of the Computability in Europe 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.
Publications (résumés):
  • [Continuity, Computability, Constructivity 2018] Olivier Bournez and Sabrina Ouazzani, Cheap non-standard analysis & Computability.
  • [Logic Colloquium 2018] Olivier Bournez and Sabrina Ouazzani, Computability and cheap non-standard analysis.
  • [Scandinavian logic symposium 2018 ] Olivier Bournez and Sabrina Ouazzani Computing to the infinite with Ordinary Differential Equations
Thèse:
  • [Thèse soutenue en Décembre 2016] "Construction de liens entre algorithmique et logique par du calcul à temps infini", 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.
Soumises :
  • Recursion schemes, discrete differential equations and characterization of polynomial time computation, avec Olivier Bournez (Polytechnique) et Arnaud Durand (Paris Diderot)
  • Infinite Time Turing Machines = Continuous Ordinary Differential Equations, avec Olivier Bournez (Polytechnique)

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

Exposés

Travaux :

  • Cheap Non-Standard Analysis and Computability CCC 2018: Continuity, Computability, Constructivity – From Logic to Algorithms (CID Project Computing with Infinite Data), Faro (Portugal), Septembre 18
  • Cheap Non-Standard Analysis and Computability the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing 2018, Timișoara (Roumanie), Septembre 18
  • An introduction about how to compute to the infinite with Ordinary Differential Equations Computability and Category theoretic Perspectives on Descriptive Set Theory Workshop, Swansea (Pays de Galles), Juillet 18
  • Computing to the infinite with Ordinary Differential Equations The tenth scandinavian logic symposium, Gothenburg (Suède), Juin 18
  • 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

Juillet 2018 : organisation du workshop Transfinite computations (TraC) pendant Computability in Europe 2018.

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


© 2018 Sabrina Ouazzani