David Janin

Associate professor at IPB, ENSEIRB-MATMECA,
Research Institute: LaBRI, CNRS UMR 5800, Université de Bordeaux,
351, Cours de la libération, F-33 405, Talence cedex, France
Team : Formal methods

Email : janin@labri.fr and Phone : +33 540 00 69 16 (LaBRI)

Research Area :

Project INEDIT ANR-12-CORD-009


Algebras, automata and logic for langages of extended strings:


Modeling reactive (intermedia) system with extended strings:


Logic, Automata and Games (2001-20011):


Descriptive complexity (1999-2006):


Fixpoint logic, automata and monadic second order logic (1993-1997)


Wandering around:

  • It Don't Mean a Thing If It Ain't Got That Swing (Duke Ellington, 1943).
  • We all know that we know nothing, explaining what we feel we know is thus difficult, so please, referee, be kind with all of us (The lonesome scientist plea).
  • Music is perhaps the mathematics of the soul and mathematics is probably the music of the brain, but this for sure cannot be formally proved, i.e. better not mixing everything unless you just want to feed your pet.
  • Surfing on the web: les horlogers/the clockmakers: (4 mn) and versum-eleven: (6 mn) among many others (lessons of modesty).
  • You probably have better things to do than to read this page down to that line, unless this prevent you from watching a stupid program on television.

Last modified: Fri May 24 08:50:29 CEST 2013