News & Awards & Events

2024:

• I coauthored a book (in French) about computer science "Informatique tout-en-un MP2I-MPI"

Book "Informatique tout-en-un MP2I-MPI "

https://www.dunod.com/prepas-concours/informatique-tout-en-un-mp2i-mpi"

2023:

• An article about the work of Manon Blanc and myself (following next item) in IP-Paris.fr
  • In english
  • En français
• The article coauthored with Manon Blanc received the MFCS'2023 best paper award. "A characterization of functions computable in polynomial time and space over the reals with discrete ordinary differential equations. Simulation of Turing machines with analytic discrete ordinary differential equations". MFCS'2023, Bordeaux, France

2022:

• Manon Blanc received the "student best paper award" for the paper "A characterization of polynomial time computable functions from the integers to the reals using discrete ordinary differential equations", presented at  MCU'2022 Machines, Models and Computation in Debrecen, Hungary 

2020:

• THE ANR PROJECT ∂IFFERENCE HAS NOW A WEB PAGE
• Online advertisement (just because I like the pedagogical efforts done by Thierry Delattre):
  • Electronic Turing machine (author: Thierry Delattre, FOR SALE). max 12 stages by algorithm. For more informations: contact@thamtham.fr www.machine-de-turing.fr

2019:

• 3 pages in the journal "La Recherche" about our research (in French)
• A post in the blog "Binaire" of "Le monde" about Analog Computations (invited contribution)
• Article in "theconversation.fr"
• NEW: Our article Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs » got the award of journal « La Recherche » 2019 for computer science.
• A video

LE PRIX DE LA RECHERCHE 2019

• The very beautiful award in full resolution

2018:

• NEW: Our survey on Analog Models of Computations is OUT and available HERE. To appear as as a chapter of "Handbook of Computability and Complexity in Analysis ". Springer. Editors: Vasco Brattka and Peter Hertling, Bibitem

2017:

• NEW: Our paper at CMSB received CMSB'2017 Best paper award
• NEW : A post about our ICALP'17 theorem in the blog "Gödel’s Lost Letter" by RJLipton+KWRegan (August 17)
• NEW: Amaury Pouly (PhD co-supervised with Daniel D. Graça in University of Algarve, Portugal) has been selected as the recipient of Ackermann Award 2017 (Summer 17)
  • A related page on CNRS INS2I website

2016:

• NEW: Our paper at ICALP received ICALP'2016 best paper award (track B)
• NEW : Our paper at CIE received CIE'2016 Best paper award

• NEW interesting webpages (not from me)
  • UN ARTICLE EXCELLENT SUR LES CALCULS ANALOGIQUES de Aurélien Alvarez, Bastien Le Gloannec, Vivien Pelletier
  • Un site web EXCELLENT à propos du prototype concret de machine de Turing de Marc Raynaud
• Some current teaching responsabilities
  • Coordinator of year 3 of Cycle Polytechnicien of Ecole Polytechnique (from 2023)
  • Mobility advisor for Computer Science at the Bachelor@Polytechnique.
  • COURS INF412 @ Ecole Polytechnique (Fondements de l'informatique: Logique, Modèles, Calculs)
  • COURS INF423 @ Ecole Polytechnique -> see INF412 @ Ecole Polytechnique from 2014.
  • COURS 2.33.1 @ MPRI (Théorie des Calculs = Computation Theory)
• Some past teaching responsabilities
  • Coordinator of year 2 of Cycle Polytechnicien of Ecole Polytechnique (up to 2023)
  • Internships for Students of Ecole Polytechnique / Stage @ Ecole Polytechnique New: A flyer
  • COURS INF421 @ Ecole Polytechnique (Les bases de la programmation et de l'algorithmique) (version 2010)

• Teaching
  • STAGES
  • Bachelor X CSE304
  • X INF412
  • LFMI Descriptive Complexity
  • MPRI2.33.3
  • INF423
  • CINE
  • INF421
  • INF561
  • Oldies
  • Private

Professor of Computer Science at Ecole Polytechnique

• Ecole Polytechnique''' is a member of  Institut Polytechnique (IP Paris), in Paris-Saclay area.
• DIX (Département d'Informatique de l'X) is the Computer Science Department of Ecole Polytechnique

Computer Science Laboratory of Ecole Polytechnique (LIX)

• Former Director (2010-2015) of the LIX (Laboratoire d'Informatique de l'X) is the Computer Science Laboratory of Ecole Polytechnique from March 2010 to 31 December 2015
• LIX is a joint lab Ecole Polytechnique / CNRS, known as UMR 7161

Some Research responsabilities

• Vice-head (representative of LIX/DIX) of Computer science, data and artificial intelligence (CSDAI) (see also this link) department of IP Paris
• Head of the pole "Proofs and Algorithms" from LIX laboratory
• Head of the team "Algorithms and Complexity" from LIX laboratory
• Co-Coordinator of the GT Calculabilités du GdR Informatique Mathématiques
• Seminars:
  • Proof and algorithms seminar
  • The (Paris-Saclay) Algorithmic & Complexity Seminar .

Research

• List of publications:
  • Publications organized by topics
  • Publications organized by years
  • Publications organized by categories (journal, conferences, etc...)

• Topics of resarch (past and present, most recent boldfaced)
  • Continuous Time Models of Computations
    • Surveys / General Considerations
    • General Purpose Analog Computer / Ordinary Differential Equations with Polynomial Right-hand Side
    • R-Recursive Functions
  • Computations and dynamical systems
    • Complexity of questions related to dynamical systems
    • Dynamical Systems and Computations
  • Distributed Computing
    • Population Protocols and variants
    • Computing with Large Populations
  • Blum Shub Smale Model of Computation:
  • Learning in Games / Algorithmic Game Theory
    • Games and Distributed algorithms
    • Distributed Learning in games
  • Verification:
    • Frontier between decidability and undecidability in verification
    • Tools for verification / Model-Checking
  • Programming with rules and strategies / Rewriting
    • Rewriting with probabilities or fuzzyness
    • Generating Chemical Rules with Rewriting Rules & Strategies
  • Computer Vision
  • Misc.
    • Teaching documents / Polycopiés
    • General texts or surveys
    • Habilitation or PhD documents
  • Other stuffs

Computability in Europe (CIE)

• CIE is an association, and also a conference series.
• I am managing the CIE association membership.
• I used to be in charge of sending every month the CIE's newsletter
• I am a member of the editorial board of the Computability journal. (flyer Δ)

Some dynamically generated Events related to computability

(: Some dynamically generated deadlines :)

Some other web page

• May 6th 2007: Ilan is born. Ilan is the little brother of Pierrick and Laëtitia.

Visitor counter: 3.4