to be defined individually with the supervisor
See topics at http://www.ims.tuwien.ac.at/opportunities_mp.php
NEW: See topics of Horst Eidenberger at http://www.ifs.tuwien.ac.at/eidenberger/index.html#tasks
Not necessary