The IT Department at Oxford University (Computing Laboratory) welcomes « undergraduate » and « graduate » (Master and PhD) students. The research themes developed are : formal aspects, compilation, object-based languages.

Several ENSIIE students (three per year) are admitted in the Master’s programme. They follow a full academic year in situ and must fulfill these criterias to be awarded the degree : successfully completing exams and presenting and supporting a Master’s thesis.

Examples of thesis

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

< View Larger Map >