David Janin, Computer Scientist

[On HAL Archives, on google scholar, or, without music nor algebra references, on DBLP]


Truth for Science, Beauty for Arts and Usefullness for Students, from Giovanni Bottesini in "Grande méthode complète de contrebasse", 1869, Paris.


[Research projects, Sorted publications, Home]
Associate professor in Computer Science at Bordeaux INP, ENSEIRB-MATMECA,
Team 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 or +33 540 00 69 16

Some teaching material (mostly in french) in programing, compiling and category theory.

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

with supports from 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 monoid theory. Potentially connected with dependant type theory, its application to the modeling of computer systems could also lead, thanks to its richness, to a better formalization of incremental, hierarchical and multi-scale design methods for these interactive systems.


[Research projects, Sorted publications, Home]

Project INEDIT ANR-12-CORD-009, 2012-2015 (project is over)

with IRCAM (Paris), GRAME (Lyon) and SCRIME (Bordeaux)

The T-calculus in Euterpea and Haskell

Playing with tiled extensions of Paul Hudak's Polymorphic Temporal Media

Applied inverse and quasi-inverse semigroup theory:
overlapping higher-dimensional strings and their languages


Live Tuiles

Towards an interactive live music sequencing software that integrates tiles algebraic structure; in joint work Florent Berthaut@hitmuri.net


Music, Arts and Science

Last modified: Sun Oct 28 01:50:44 CEST 2018