>
Research Projects for Students [7,5—30ECTS]
VeCoS students gain top quality professional experience while enjoying work in the lively international environment of the group. Regardless whether it is a 4-week project or a thesis that you are writing with us, you can count on support of several other student fellows working in the area, several phd students and several faculty members. Our proposals include projects with important industrial partners and/or in the wild of open source realm.
Read below on past and current projects, and investigate existing opportunities. Feel free to define your own project and contact wasowski@itu.dk to discuss your proposal.
We always have exciting work to do and your help is greatly appreciated. Following links take you to detailed project descriptions in the exchange system:
If you find the topics interesting but only miss a partner, then do not worry! Subscribe to the Model based programming project cluster in the ITU's course base. We will help you to find a group. Also the above projects scale well from 4-weeks up to a thesis. If the size suggested in the exchange system does not suite you, please come and talk with us about tailoring it to your needs.
Power Supply Restoration, Master's thesis by Rene Jensen and Lars Sonne, January 2005. Advisor: Henrik Reif Andersen. Thesis written in cooperation with Nesa. Read more...
Efficient Runtime Verification Using Quantified Difference Inequalities and Difference Decision Diagrams. by Sudhakar Sudhakar. Advisor: Kåre Jelling Kristoffersen. Master Thesis within the project NEXT, in cooperation with Microsoft Business Solutions. [project work ongoing]
Verificationserver - Runtime verification of temporal business rules. by Bue Pedersen and Ulrik Duerlund Olsen. Advisors: Kåre Jelling Kristoffersen and Yvonne Dittrich. Master's thesis handed in March 1, 2005.
Development of Business Rule Management tool. Bente Bek Petersen and Divya Raj Malemane. Advisor: Kåre Jelling Kristoffersen. Master Thesis currently being written up.
AI experiments for the board game Connect Four using BDD's. Student: Arnold Elias Ngeleshi. Advisors: Kåre Jelling Kristoffersen and Tarik Hadzic Title. Master's Thesis. [Project work ongoing]
Modeling Law. A logical model of the Danish Act on Social Pensions and a web-tool, Master's thesis by Ioanna Stavrinidou Henriksen, March 2002. Advisor: Henrik Reif Andersen. The thesis resulted in an international research publication. Read more...
Configuration of LEGO gear boxes, Master's thesis by Kasper Vilhelm Torp, August 2001. Advisor: Henrik Reif Andersen. Read more...
|
|
|
|
last updated 15 Mar, 2005
|