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