Looking for a supervisor? (MSc)

If you liked the games project in G54PRG using python + pygames then maybe you would like to do something like this for your MSc project. Clearly this should go a bit further than the PRG project. Here are some possibilities:

Staying on the topic of python: Quantopian is an algorithmic trading platform that uses python as a scripting langauge - it would be interesting to explore this further (but note that my background on algorithmic trading is very limited).

I am also happy tu supervise students who want to do their project on functional programming (e.g. Haskell) or formal verification (using Coq or Agda. From experience this kind of project would be most suitable for ACS stduents.


Thorsten Altenkirch
Last modified: Wed Jan 8 10:34:52 GMT 2014