SOME RECENT NEWS:

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.
• Keynote speaker at MFCS'2018, SYNASC'2018, RP'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

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