Projects for MSc (Computer Science), MSc (Mathematics and Foundations of Computer Science), and FHS (Part C) in MCS / CS 2007-2008
If you are interested in any of the following, please contact Luke.Ong@comlab.ox.ac.uk
- Compiling Jimple to Moped
- A Model Checker for Java
- A Flow Analyzer for Haskell
- Algorithmic Mechanism Design for Inter-Domain Routing (MFoCS)
Projects marked (MFoCS) above are suitable for MSc (MFoCS).
Note
A Microsoft Research PhD Scholarship and two EPSRC DPhil Studentships are available for the academic year starting Oct 2008. If you are interested, please feel free to contact me.
|