Universität
February 19th, 2010
An der Uni kommt jede Menge Material zusammen; Einiges möchte ich hier zusammenstellen.
Studienarbeiten
- Softwareentwicklungsprojekt (Ampelsteuerung)
Während des SEP haben wir einen Simulator für einfachen Straßenverkehr gestrickt, mit dem Ampelsteuerungen getestet werden können. - Seminararbeit (Bachelor)
Ich habe mich mit Papern beschäftigt, die die Modellierung und Beweisbarkeit von Sicherheit in Systemen untersuchen. - Bachelorprojekt
Wir haben im Projekt bei Prof. Nebel das Tool JAguc gebaut, mit dem man Sequenzdaten von RNA analysieren kann. - Bachelorarbeit
In meiner Abschlussarbeit habe ich eine Reihe von Grammatiken, die für die Vorhersage von RNA-Sekundärstrukturen verwendet werden, auf Eindeutigkeit in Bezug auf eben diese untersucht.
Material zu Übungen
- Softwareentwicklung I (WS 08/09)
- Formale Grundlagen der Programmierung (SS 08)*
- Softwareentwicklung I (WS 07/08)*