Thesis and Apprenticeship Proposals 2008-2009

Feel free to contact us for more information on the topics below. Note that the topics are not 100% fixed. We are always open for suggestions and are willing to tailor a proposal that matches your particular interests/background.

If you want to get a feeling of the kind of research we are involved in then take a closer look at the websites of PROG and SSEL.

• Improving separation of concerns in workflow languages using advanced subworkflows (Niels Joncheere, Ragnhild Van der Straeten - SSEL)
• An Extensible BPMN Interpreter (Dirk Deridder - SSEL)

• Making Documentation a First-Class Citizen in a Programming Language (Dirk Deridder - SSEL and Andy Kellens)
• Prison, a Simulation Framework for Crime (Eline Philips - SSEL, Christophe Scholliers - PROG)
• Help, mijn bits zijn rot! (Stijn Mostinckx, Elisa Gonzalez Boix , Tom Van Cutsem - PROG)
• Browser, wat is uw reactie daarop? (Thomas Cleenewerk, Stijn Mostinckx - PROG)
• Language Independence in Language Implementations (Thomas Cleenwerck - PROG)
• Experimenting with interactions among language constructs in LTS (Thomas Cleenwerck - PROG)
• Dynamic compilation for reflective languages (Pascal Costanza, Charlotte Herzeel))
• Safe dynamic updates through software transactions (Pascal Costanza, Charlotte Herzeel))
• Virtuele machines voor gewone stervelingen (Stijn Timbermont, Theo D'Hondt - PROG)

• Parallel Programmeren voor manycore processoren met AmbientTalk (Tom Van Cutsem - PROG, Roel Wuyts & Maja D'Hondt - IMEC)
• Parallelization of multimedia applications for embedded systems with multi-processor system on chip platforms (Tom Van Cutsem - PROG, Roel Wuyts & Maja D'Hondt - IMEC)

• Intensional Views on Model-Driven Engineering (Dennis Wagelaar - SSEL, Andy Kellens - PROG)
• Variability Issues in MetaCASE Tool Development (Dirk Deridder - SSEL)
• Towards Programmable Configuration Languages for Software Product Lines (Thomas Cleenewerck - PROG)

• An Extensible Consistency Validation Framework for Runtime Models (Dirk Deridder - SSEL and Ragnhild Van Der Straeten)
• Inconsistency Detection and Resolution using Alloy (Ragnhild Van Der Straeten - SSEL)
• Generating Inconsistency Resolutions using Alloy A topic suited for students Master in de Toegepaste Informatica. (Ragnhild Van Der Straeten - SSEL)
• Strategies for Incremental Inconsistency Resolution (Ragnhild Van Der Straeten - SSEL)
• Using Verification Algorithms and Techniques for Automated Inconsistency Resolution (Ragnhild Van Der Straeten - SSEL)

• ContextHOP: Context-Oriented Programming for the Web 2.0 (Jorge Vallejos - PROG, Pascal Costanza - PROG)
• Bridging the gap between Context-Oriented Domain Analysis and Context-Oriented Programming (Jorge Vallejos - PROG, Pascal Costanza - PROG)

• Roboteam voor Lego Mindstorms platform (Dennis Wagelaar - SSEL, DSP Valley)
• Roboteam voor deelname aan Robocup Small Size League (Dennis Wagelaar - SSEL, DSP Valley)