Dieses Repository enthält Prüfungsprotokolle und anderes Material aus meinem Informatik- und Mathematikstudium an der RWTH Aachen.
-
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
-
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
-
Implementation and improvement of ALPHA (Folien, Abschlussbericht)
Vortrag für das UROP Kolloquium (Undergraduate Research Opportunities Program) am 27. Januar 2010