David JANIN
David Janin Maître de Conférences (ENSEIRB)

Équipe LaBRI : Méthodes formelles
Page personnelle : http://www.labri.fr/Perso/~janin
Courrier électronique : david.janinarobaselabri.fr
Bureau : 206
Tél : +33 (0)5 40 00 69 16


Recherche

Mathematical tools for languages of higher-dimensional strings
* Inverse semigroup theory
* Quasi-recognizable languages
* Automata and logic

Modeling and programming with higher-dimensional strings
* Modeling with overlapping structures
* Programming with overlapping structures
* Application to computational music

Extrait de publications


David Janin. Algebras, automata and logic for languages of labeled birooted trees. F. V. Fomin and M. Kwiatkowska and D. Peleg. ICALP, 2013, Riga, Latvia. Springer, 7966, pp.318-329, 2013, LNCS.

David Janin. Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems. 40th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), Jan 2014, High Tatras, Slovakia. Springer, 8327, pp.7-20, LNCS.

David Janin, Florent Berthaut, Myriam Desainte-Catherine, Yann Orlarey, Sylvain Salvati. The T-Calculus : towards a structured programing of (musical) time and space. FARM 2013, 2013, Boston, United States. pp.23-34, 2013,

David Janin, Florent Berthaut, Myriam Desainte-Catherine. Multi-scale design of interactive music systems : the libTuiles experiment. Roberto Bresin. SMC 2013, 2013, Stockholm, Sweden. pp.123-129, 2013.

Florent Berthaut, David Janin, Benjamin Martin. Advanced Synchronization of Audio or Symbolic Musical Patterns: An Algebraic Approach. ICSC, Sep 2012, Palermo, Italy. pp.202-209, 2012,


Administration

Responsable 2ième année, filière Informatique, ENSEIRB-MATMECA, de 1997 à 2011
Responsable 2ième année, filière RSI, ENSEIRB-MATMECA, de 2006 à 2013

Comité de programme & Comité d'organisation

2014: programme committee FARM 2014
2013-2014 : CNRS researcher fellow at INS2I

Valorisation

2012-2015: ANR-12-CORD-0009, INEDIT (INteractivité dans l'Écriture De l'Interaction et du Temps), coordinateur bordelais.

Expertise

2010 : Membre de comité d'évaluation pour le Nationnal Research Network (NFN) Autrichien

Page mise à jour le 13/08/2010 à 10:56