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...