Langages formels,calculabilité,complexité et analyse d algorithmes (cours : Paul Gastin, TD : Maribel Fernandez)
Bases de données (cours : Nicolas Spyratos, TD : Emanuell Waller)
Langages de programmation et compilation (cours : Patrick Cousot, TD : Laurent Mauborgne)
(Réalisation d'un compilateur pour un langage fortement typé relativement simple, ie de type caml en beaucoup plus simple)