David Janin, Computer Scientist

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

Once upon a time in the future, when big data is over, there shall be the time for big systems.
When such time comes, your computer will not only predict what you were yesterday, but also what you are now, and what you will become tomorrow, and the day after tomorrow, and the day after the day after tomorrow, and the day after....
When such time comes, better be ready. Join System Sciences now !

[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]
Trigonometrical dances, our latest experimental release, just on the right,
and more video news there

[ Research projects, Sorted publications, Home]

All publications *
Birooted word languages * Audio application*
Language logical definability * Written in french *
Functionnal programming * Walking automata
for birooted graphs
Overlapping tiles in
Birooted tree and their languages *
Works of the last years * Applied inverse semigroups
Music modeling * Logic, automata and
Articles * Reports in standby *
Conferences *

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: Thu May 31 00:37:25 CEST 2018