Dieses Repository enthält Prüfungsprotokolle und anderes Material aus meinem Informatik- und Mathematikstudium an der RWTH Aachen.

Prüfungsprotokolle

• Bachelor Mathematik: Mathematisches Praktikum
  
• Informatik Hauptstudium: Vertiefungsgebiet (Automaten, Logik und Verifikation)
  Inhalt: Angewandte Automatentheorie, Automaten und reaktive Systeme, Model Checking
  Prüfer: Prof. Dr. Wolfgang Thomas
• Informatik Hauptstudium: Praxis
  Inhalt: Sichere verteilte Systeme, Peer-to-Peer Systeme, IT Security I+II
  Prüfer: Prof. Dr. Klaus Wehrle, Prof. Dr. Ulrike Meyer
• Informatik Hauptstudium: Theorie
  Inhalt: Effiziente Algorithmen, Netzwerkalgorithmen, Kryptographie
  Prüfer: Prof. Dr. Berthold Vöcking, Prof. Dr. Rudolf Mathar
• Bachelor Mathematik: Algebraische Zahlentheorie II
  Prüfer: Prof. Dr. Aloys Krieg
• Informatik Hauptstudium: Nebenfach Mathematik
  Inhalt: Computeralgebra, Kommutative Algebra, Algebraische Zahlentheorie
  Prüferin: Frau Prof. Dr. Eva Zerz
• Informatik Grundstudium: Nebenfach Mathematik
  Inhalt: Analysis IV, Lineare Algebra II, Numerische Analysis I
  Prüfer: Prof. Dr. Aloys Krieg und Prof. Dr. Joachim Schöberl

Seminare

• Fixpunktlogiken mit Zählquantoren (Ausarbeitung, Folien)
  Seminar Logik, Komplexität, Spiele: Fixpunktlogiken (SS09)
  Lehr- und Forschungsgebiet für Mathematische Grundlagen der Informatik
• Primes is in P - Der AKS Primzahltest (Ausarbeitung, Folien)
  Seminar zur Kryptographie (SS09)
  Lehrstuhl für Informatik I - Algorithmen und Komplexität
• Traveling Salesman Problem (Ausarbeitung, Folien)
  Proseminar Graphenalgorithmen (WS07/08)
  Lehrstuhl für Informatik I - Algorithmen und Komplexität

Anderes

• Implementation and improvement of ALPHA (Folien, Abschlussbericht)
  Vortrag für das UROP Kolloquium (Undergraduate Research Opportunities Program) am 27. Januar 2010