equal
deleted
inserted
replaced
93 <li>Darius Hodaei (2011-2012, King's) A Compiler for System F</li> |
93 <li>Darius Hodaei (2011-2012, King's) A Compiler for System F</li> |
94 <li>Jian Jiang (2011-2012, King's) Suffix Array Sorting, |
94 <li>Jian Jiang (2011-2012, King's) Suffix Array Sorting, |
95 received the prize of the best MSc thesis in 2012</li> |
95 received the prize of the best MSc thesis in 2012</li> |
96 </ul> |
96 </ul> |
97 |
97 |
98 <p>Examiner for the PhD-theses: |
98 <p>Examiner of PhD-theses: |
99 <ul> |
99 <ul> |
100 <li>Dragisa Zunic (2007, ENS in Lyon) |
100 <li>Dragisa Zunic (2007, ENS in Lyon) |
101 <li>Clement Houtmann (2010, INRIA Bordeau) |
101 <li>Clement Houtmann (2010, INRIA Bordeau) |
102 <li>Tom Powell (2012, QMUL) |
102 <li>Tom Powell (2012, QMUL) |
103 </ul> |
103 </ul> |