Proposals for MSc projects

Generation of seminar pages using Joomla

Joomla is a open domain content managament system which is used by research groups in the school to maintain their webpages (e.g. The goal of this project is develop an JOOMLA extension which makes it easy to maintain seminar pagers.

Keeping publication lists uptodate

Many scientists keep their own publications on their webpages together with bibliographic references. At the same time they need to update databases by the university with their pubication records. The goal of this project is develop some software which simplifies this task.

Formalizing finite Automata with COQ

The goal of this project is to develop some aspects of automata theory using the COQ proof assistant.

Last modified: Fri Mar 20 14:39:42 CET 2009