 |
David Janin
Maître de conférences / Associate professor
IPB,
ENSEIRB-MATMECA
Laboratoire/Research
Institute LaBRI , Université de
Bordeaux, 351,
Cours de la libération
F-33 405, Talence cedex, France
Courriel
/ E-mail : janin@labri.fr
Tél. / Phone : +33
540 00 69 16 (LaBRI) 05 56 84 23 73 (ENSEIRB-MATMECA)
|
 |
Domaine de
recherche / Research Area
Theoretical foundations of modeling
languages; Algebraic and logical aspects of language theory;
Hierarchical, interactive and real-time system
architectures; Computational music.
Offre de thèse / PhD
offer
Travaux
disponibles / Available papers and lectures
- 2012-+ : Talks in Music, Computer
Science and Maths
- 2012-+ : Algebraic
language theory
- 2011-+ : Theoretical
foundations and implementation of computational music
- Advanced
synchronization of audio or symbolic musical patterns
(RR-1461-12, May 2012, with Florent Berthaut and Benjamin Martin)
- A Lazy
Real-Time System Architecture For Interactive Music
(RR-1460-12, March 2012, and JIM 2012, pages 133-139 and RR-1460-12, May 2012)
- Vers une
modélisation combinatoire des structures rythmiques
simples de la musique (RR-1455-11, July 2011, to appear in
Revue Francophone d'Informatique Musicale, vol 2, autumn 2012,)
- 2006 : An habilitation
thesis
- 2005-2011 : Distributed
games
- 2002 : Parity games and
permissive strategies
- 2001-2007 : Bisimulation
invariance on finite graphs
- 1999-2004 : Descriptive
complexity of bisimulation invariant MSO definable properties
- 1995-1997: Modal mu-calculus,
tree-automata and logic
Billet d'humeur
/ Column
The academical research community is sometimes as conservative as
the most conservative church ! However, although painful to say,
this is one of its main quality !