Oxford

Le département d’informatique de l’université d’Oxford (Computing Laboratory) accueille des étudiants en « undergraduate » (bac à bac+4 environ) et en « graduate » (Master et PhD). Les thèmes de recherche développés sont : méthodes formelles, compilation, langages à objets.

Plusieurs étudiants de l’ENSIIE, jusqu’à trois par an, sont pris chaque année par le programme de Master. Ils suivent donc une année scolaire complète sur place et doivent satisfaire les mêmes critères pour avoir le diplôme, à savoir, en particulier, passer avec succès des examens et présenter et soutenir une thèse de Master normalement au mois de septembre suivant l’admission.

Exemples de sujets

  • Program slicing for refactoring
  • Building separating contexts in algorithmic game semantics
  • A compiler for security protocols

< Agrandir le plan >

Boutique