Teaching
A short description of each course I teach, together with teaching material I use can be found below:
- Semantic web: from XML to OWL, Grenoble Universités, 2008-2009, Master recherche 2ème année, first part of the course -- foundations for XML:
Course Introduction slides handout Core XML: XML, DTD, XML Schema, XML Parsing slides handout Excursion (streaming DTD validation with SAX) ... ... XPath ... ... XSLT ... ... Foundations of XML Types: An Introduction ... ... Tree Grammars ... ... Finite Tree Automata ... ... First-Order Logic and Monadic Second-Order Logic ... ... Introduction to Some Grand Challenges ... ... Expressive Modal Logics and μ-Calculus ... ... - Foundations of XML Types: Tree Grammars and Tree Automata, Ecole Polytechnique Fédérale de Lausanne, Master 2nd year, April 2008: introduction, tree grammars, tree automata.
- Introduction à l'analyse statique et aux méthodes formelles pour XML, cours de Master 2R, Module "AAS", Université Joseph Fourier, 2007-2008
- Advanced XSLT programming, Ecole Polytechnique Fédérale de Lausanne (EPFL, Switzerland), 2nd year Master course, with Christine Vanoirbeek, 2007
- Méthodes formelles pour XML: algorithmes & complexité, cours de Master 2R, Module "MW", Université Joseph Fourier de Grenoble (France), 2006-2007
You may also want to have a look at some other recommended reading material prepared by colleagues.
Internships
We currently have several open positions in the team, especially for master students interested in doing a research and/or engineering internship...