Teaching

A short description of each course I teach, together with teaching material I use can be found below:

• The web: from XML to OWL, University of Grenoble, 2008-2009, International Master of Computer Science, last year, first part of the course -- foundations for XML:

  Course Introduction	handout
  Core XML: XML, DTD, XML Schema, XML Parsing	handout
  Excursion (streaming DTD validation with SAX)	handout
  XPath	handout
  XSLT (an example)	handout
  Foundations of XML Types: An Introduction	handout
  Tree Grammars	handout
  Finite Tree Automata	handout
  First-Order Logic and Monadic Second-Order Logic	handout
  Grand Challenges and Current Research	handout

• Foundations of XML Types, EPFL, March 2009: introduction, tree grammars, tree automata.
• XML Essentials, ENSIMAG/TELECOM 3A, December 2008: introduction, (XPath).
• 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.
• 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...