version française

Welcome

I'm Sabrina Ouazzani, post-doc in the AlCo team of the LIX lab.

I am a fellow of the "For women in Science" L'Oréal-Unesco foundation and currently a post-doc in the École Polytechnique, funded by the labex Digicosme under the supervision of Olivier Bournez and Benjamin Hellouin in the context of the ACDC project. I do my research in the LIX laboratory.

Here is my curriculum.

Here is the ACDC project webpage of the "appel printemps 2018" of the labex digicosme.

Contact

sabrina (at) lix.polytechnique.fr

Lix,office 2133

Research

I'm interested in links between theoretical computer science and logic.

Key words:

  • computation models, Turing machines
  • infinite time, ordinals
  • admissibility, constructible hierarchy
  • Turing degrees

Publications (papers):

  • [To appear in the proceedings of 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 (abstracts):
  • [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
Thesis:
  • [PhD defended in December 2016] From algorithmics to logics through infinite time computation., Montpellier in the LIRMM laboratory. I mainly worked on the structure of gaps in the clockable ordinals of infinite time Turing machines and their links with admissible ordinals.
Submitted:
  • Recursion schemes, discrete differential equations and characterization of polynomial time computation, with Olivier Bournez (Polytechnique) and Arnaud Durand (Paris Diderot)
  • Infinite Time Turing Machines = Continuous Ordinary Differential Equations, with Olivier Bournez (Polytechnique)

For more information about infinite time computability:

Talks

Work:

  • Cheap Non-Standard Analysis and Computability CCC 2018: Continuity, Computability, Constructivity – From Logic to Algorithms (CID Project Computing with Infinite Data), Faro (Portugal), September 18
  • Cheap Non-Standard Analysis and Computability the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing 2018, Timișoara (Romania), September 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 (Wales), July 18
  • Computing to the infinite with Ordinary Differential Equations The tenth scandinavian logic symposium, Gothenburg (Sweden), June 18
  • Computing to the infinite with Ordinary Differential Equations ALGORITHMIC QUESTIONS IN DYNAMICAL SYSTEMS, Toulouse (France), March 18
  • Infinite time Turing machines: what about gaps in the clockable ordinals? Third Nordic Logic Summer School, Stockholm (Sweden), Aug 2017
  • Infinite time Turing machines, an introduction to gaps. Institute for Mathematical Sciences (IMS) Graduate Summer School in Logic, Singapore, Jul 17
  • A brief story of gaps in the infinite time Turing machines. Bristol Logic Seminar, University of Bristol (England), May 17
  • A mixture of computability and ordinals, the infinite time Turing machines. Konstanz Women in Mathematics (KWIM) Lectures Series, Konstanz University (Germany), April 17
  • Let's compute through infinite time! MC2 team seminar LIP ENS Lyon, CANA team seminar LIF Aix-Marseille University, LACL laboratory seminar Paris-Est Créteil University, Jan 17 -- CRIL laboratory seminar Artois University (Lens), Feb 17 -- LIFO laboratory, Computabilites Days and New Words of Computation workshops (Orléans), April 17
  • Some ordinal time algorithmics, Computabilities days, Nice, April 16
  • Ordinal time computation: a presentation, School of the GDR IM, Strasbourg, April 16
  • Introduction aux machines de Turing à temps infini , Algebra and Topology seminar, IMAG, Montpellier, September 2015
  • Temps de non calcul des machines de Turing à temps infini, Eco-Escape seminar, Lirmm, Montpellier, June 2015

Science popularization (for non computer scientists):

  • Poster Machines de Turing à temps infini, Doctiss (PhD students conference of the I2S Graduate school), Montpellier, June 2015
  • Introduction aux machines de Turing à temps infini, Semindoc (PhD students seminar), Lirmm, Montpellier, May 15

Teaching

In the Paris-Est Créteil University (upec),

2016-2018:

  • Discrete Mathematics, lectures-tutorials, Sénart IUT
  • Linear Algebra, lectures-tutorials, Sénart IUT
  • Analysis, lectures-tutorials, Sénart IUT
  • Databases, lectures-tutorials-practical work, Sénart IUT

In the Montpellier University (UM, former UM2),

2015-2016:

  • Graph algorithms, tutorials/practical work(C++) L3 UM
  • Information systems and databases, tutorials/practical work(Oracle) L2 UM

2014-2015:

2013-2014:

  • Logic (basic concepts), tutorials/practical work(Ocaml), L2 UM2
  • Algorithmic and data structures, tutorials/practical work(C) L2 UM2 (tutorial exam )

2012-2013:

  • Basic concepts in computer science (C2I), practical work L1 UM2

2013-2015, replacements:

  • Computation models, tutorials L1 UM2
  • Algorithmic information theory, tutorials M1 UM2
  • Computability, tutorials M1 UM2

Organisation/Supervision

Supervision

June-July 2015: Internship supervision of Guilhem Marion, L2 (discovering of computability)

Nov-Dec 2014: Supervision of the organisation of the doctors/PhD students meeting of the "école doctorale I2S"

Organisation of scientific events

July 2018 : organisation of the Transfinite computations (TraC) workshop during Computability in Europe 2018.

2017- : Transfinite computations (TraC) special group of interest of the association Computability in Europe, please contact me to be added to the mailing-list :).

October 2017: Involved in the organisation of the Interdisciplinary Symposium On the Infinite in the Institut Henri Poincaré (Paris).

2014-2015: Organisation of the PhD students workshop of the Lirmm, where PhD students present their work, and semidocti days, bi-annual fun and science popularization days for everybody

April 2014: Organisation of the Computability days 2014

Offices

Dec 2014-Feb 2016: Elected in the PhD students council of the Lirmm. Head of the council from May 2015 to Feb 2016. The aim of the council is to provide support, mediation and prevention in all problems the PhD students can encounter in their workplace, bring forward their needs to the direction, and animate the social student life of the lab. Contact: conseil-doctorants ( at ) lirmm.fr. Tricks for the daily life of a lirmmian: Lirmm's wiki.

Nov 2014-Mar 2016: Representant of computer science PhD students in the "école doctorale I2S"


© 2018 Sabrina Ouazzani