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













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