David Janin


Researcher at LaBRI in Bordeaux since 1996 and Associate professor in Computer Science at Bordeaux INP, ENSEIRB-MATMECA,

Researcher at LaBRI in Bordeaux since 1996 and Associate professor in Computer Science at Bordeaux INPENSEIRB-MATMECA and team leader of the PoSET research project.

  • CNRS INS2I as Temporary researcher fellow (12 months, 09/2013 – 08/2014)
  • INRIA Bordeaux Sud-Ouest as Temporary researcher fellow (18 months, 09/2014 – 02/2015, 09/2015 – 02/2016 and 09/2016 – 02/2017)
  • Idex Bordeaux through and Arts and Sciences project support in 2016,
  • and LaBRI, CNRS UMR 5800, (research host institute)

He studied the field of logic and is interested in automata theory applied to modeling and synthesis of computer systems. It has always been committed to building bridges between concepts or theories apparently antagonistic. One of its results the best known search, linking monadic second order logic, the modal mu-calculus and equivalence bisimulation, is one example. He is also interested in modeling since 2011 interactive music systems seeking to formalize the metaphors that may appear in music, for application in the field of theoretical computer science and software engineering. This work led him to the study and development of an original model of tiling including partial overlays that comes in language theory in music modeling and functional programming, each of these areas bringing their enrichment in batch model developed.

Amateur musician practicing improvised music, especially in the genre of jazz, he is convinced that the musical language conceals ad hoc models of communication just waiting to be formalized to see their use be renewed in IT in the name of the hierarchical modeling and multi-scale interactive timed applications.