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. ICALP, 2013, Riga, Latvia. pp.318-329, ⟨10.1007/978-3-642-39212-2_29⟩. ⟨hal-00784898v2⟩

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. pp.7-20, ⟨10.1007/978-3-319-04298-5_2⟩. ⟨hal-00879463⟩

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, ⟨10.1145/2505341.2505347⟩. ⟨hal-00789189v3⟩

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

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, ⟨10.1109/ICSC.2012.11⟩. ⟨hal-00698963v2⟩


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