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

Positions opened at the CS department of Ecole Polytechnique in 2019

• annonce en français
• announcement in english|

SOME RECENT NEWS:

2020:

THE ANR PROJECT ∂IFFERENCE HAS NOW A WEB PAGE

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: Sabrina Ouazzani (co-author and postdoc co-supervised with Benjamin Hellouin) has been selected as one of recipient of the bourse L'Oreal-UNESCO 2018 Pour les Femmes et la Science.
• 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

Professor of Computer Science at Ecole Polytechnique

• Ecole Polytechnique is 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 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 teaching responsabilities

• Internships for Students of Ecole Polytechnique / Stage @ Ecole Polytechnique New: A flyer
• COURS INF412 @ Ecole Polytechnique (Fondements de l'informatique: Logique, Modèles, Calculs)
• COURS INF423 @ Ecole Polytechnique -> see INF412 @ Ecole Polytechnique from 2014.
• COURS INF421 @ Ecole Polytechnique (Les bases de la programmation et de l'algorithmique) (version 2010)
• COURS 2.33.1 @ MPRI (Théorie des Calculs = Computation Theory)

Research

• The (Paris-Saclay) Algorithmic & Complexity Seminar .
• 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)

NEW: UN ARTICLE EXCELLENT

• 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