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
    Core XML: XML, DTD, XML Schema, XML Parsing
    Excursion (streaming DTD validation with SAX)
    XPath
    XSLT
    Foundations of XML Types: An Introduction
    Tree Grammars
    Finite Tree Automata (inspired by W. Martens and T. Schwentick)
    First-Order Logic and Monadic Second-Order Logic
    Grand Challenges and Current Research
  • Foundations of XML Types, EPFL, March 2009.
  • XML Essentials, ENSIMAG/TELECOM 3A, December 2008.
  • 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 à 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

New! We currently have several open positions in the team, especially for master students interested in doing a research and/or engineering internship...

(CNRS / LIG | INRIA ) / WAM project