David Janin, Computer Scientist

Research papers on HAL archives

Programming on GitHub


Truth for Science, Beauty for Arts and Usefullness for Students, from Giovanni Bottesini in "Grande méthode complète de contrebasse", 1869, Paris.
Associate professor in Computer Science at Bordeaux INP, ENSEIRB-MATMECA,
Leader of the PoSET research project,
with supports from
  • 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, 351, Cours de la libĂ©ration, F-33 405, Talence cedex, France (research host institute)
Contact: janin(at)labri . fr

PoSET Project : homogeneous models and programming languages for heterogeneous interactive temporal media systems

supported by Bordeaux INP, Inria Bordeaux Sud-Ouest, CNRS INS2I, Idex Bordeaux and UMR LaBRI
How to synchronize, mix, combine, transform temporal media streams as varied as sounds, animations, melodies, videos, while ignoring their nature ? By providing a consistent and robust mathematical modeling, we aim at simplifying the design of interactive timed multimedia application. Polymorphic, this approach could also improve the interoperability between the existing tools. In addition, this research project deals with the modeling of timed and interactive applications in a quite unusual mathematical framework: inverse semigroup theory, connected to more standard approaches such as monad programiong.



Last modified: Sun Jul 10 16:36:54 CEST 2022