Dipl.-Inform. Nico Krebs

Wissenschaftlicher Mitarbeiter

[Forschung] [Lehre] [Bachelorarbeiten] [Lebenslauf]

Forschung 

• Langzeitarchivierung von digitalen Objekten
• Programmierung historischer Großrechner
• Virtuelle Maschinen zur Langzeitarchivierung

Zu vergebende Bachelorarbeiten 

Begleitend zu meiner Forschung im Bereich der Langzeitarchivierung kann ich die Betreuung mehrere Bachelorarbeiten anbieten. Alle Themen drehen sich um den sogenannten Universellen Virtuellen Computer (UVC), der – so die Aussagen deren Entwickler – so einfach aufgebaut ist, dass er zum einem übersichtlich zu spezifizieren und zum anderen recht leicht zu implementieren ist. Die Entwicklung von Anwendungen ist für den UVC aufgrund eines übersichtlichen Befehlssatzes ähnlich herausfordernd wie für die MI.

Dieser UVC wäre somit geeignet, bestimmte Probleme der Langzeitarchivierung zu lösen. Folgende Themen werden angeboten:

• Implementieren einer Turing-Maschine für den UVC
  • Hier soll eine Einband-Turing-Maschine entwickelt werden, die mit dem UVC ausgeführt werden kann. Hierfür steht ein bereits von IBM implementierter UVC zur Verfügung. Ein lauffähiger Assembler für UVC-Quellcode ist vorhanden.
  • Der Aufwand beschränkt sich auf die Implementierung der Turing-Maschine, das Testen der eigenen Implementierung anhand verfügbarer Programme und eigener Tests und die Dokumentation dessen.
  • Diese Arbeit ist erweiterungsfähig, falls eine anschließende Masterarbeit geplant ist.
• Implementieren eines UVC-Compilers
  • Hier soll ein Assembler / Compiler für UVC-Programme mit dem CompilerCompiler JACCIE erstellt werden. Neben der reinen Berücksichtigung des UVC-Quellcodes soll auch geprüft werden, in wie weit sich bestimmte Hochsprachenanteile wie z.B. Schleifen realisieren lassen.
  • Ein Compiler besteht aus den drei Komponenten Scanner, Parser und Evaluator. Diese Componenten lassen sich über reguläre Ausdrücke, kontextfreie Grammatiken und Auswerteregeln (angegeben in Java) definieren. Der Aufwand beschränkt sich auf die Erweiterung einer vorhandenen Compilerdefinition für JACCIE. Ein Teil der eigenen Arbeit wird sich mit der Einarbeitung in die Bedienung des Tools JACCIE befassen müssen, den Schwerpunkt soll aber die Dokumentation der entwickelten Scanner- Parser- und Evaluatordefinition bilden.
  • Diese Arbeit ist erweiterungsfähig, falls eine anschließende Masterarbeit geplant ist.
• Implementieren eines UVC in Ada
  • Die Implementierung eines UVC übersteigt möglicherweise den Umfang einer einzelnen Bachelorarbeit, obwohl die Implementierung recht einfach sein sollte.
  • Der eigene Aufwand besteht zunächst in der Auswertung der vorhandenen Spezifizierung für den UVC. Die genaue Dokumentation der Planung und der anschließenden Implementierung sowie deren zeitlicher Aufwand. Hinzu kommt die begleitende Entwicklung und Dokumentation von Testprogrammen.

Ich erwarte eine schriftliche Arbeit im Umfang von ca. 40 bis max. 60 Seiten. Alle Themen sind für meine aktuelle Forschung relevant, sodass mit einer "kooperativen" Betreuung gerechnet werden kann.

Lehre 

• Übungen

  •	WT10:	Maschinennahe Programmierung II
  •	HT09:	Maschinennahe Programmierung I
  		Einführung in Programmiersprachen
  •	FT09:	Objektorientierte Programmierung
  •	WT09:	Einführung in die Informatik II (Ustg)

• Seminare

  •	WT10:	Seminar: Softwareentwicklung für historische Großrechner
  •	FT09:	Seminar Langzeitarchivierung

Lebenslauf 

21.11.1976	geboren in Dresden (aufgewachsen in Berlin)
Juni 1996	Abitur
Juli 1996	Eintritt in die Bundeswehr als Wehrpflichtiger der ABC-Abwehrtruppe (Heer) in Prenzlau.
Juli 1997	Beginn der Offizierausbildung in der ABC-Abwehrtruppe (Sonthofen).
September 2000	Beginn des Studiums der Informatik an der Universität der Bundeswehr München
März 2004	Abschluss des Studiums als Dipl.-Inform. Studien- und Diplomarbeit im Bereich Compiler-Compiler
April 2004	Versetzung als KpEinsOffz nach Prenzlau
Oktober 2004	Versetzung als S3Offz nach Höxter zum MN CBRN Btl NRF
März 2005	Hörsaalleiter für den Bereich Netzwerkausbildung an der Fernmeldeschule des Heeres bzw. Führungsunterstützungsschule der Bundeswehr in Feldafing.
Januar 2009	Verwendung als Wissenschaftlicher Mitarbeiter am Institut für Softwaretechnologie