Daniel Neider

Kontakt

Anschrift RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen
Büro Raum 4114, Ahornstr. 55, 52074 Aachen
Telefon +49 (241) 80 21703
Email
Sprechstunde nach Vereinbarung

Ich bin ein Mitglied von Wolfgang Thomas' Forschungsgruppe "Logik und Theorie diskreter Systeme" an der RWTH Aachen.

Forschungsinteressen:

  • Algorithmisches Lernen
  • Model-Checking
  • Automaten und formale Sprachen

Diplomarbeit

Publikationen

Mitwirkung an Lehrveranstaltungen

Wintersemester 2009/10
Übungen zur Vorlesung Algorithmisches Lernen
Proseminar über Automaten, Grammatiken und ihre Anwendungen
Sommersemester 2009
Übungen zur Vorlesung Angewandte Automatentheorie
Seminar über Automatentheorie
Wintersemester 2008/09
Übungen zur Vorlesung Unendliche Spiele
Seminar über Automatentheorie

Wissenschaftlicher Werdegang

Ab 2008 Wissenschaftlicher Mitarbeiter am Lehrstuhl für Informatik 7 der RWTH Aachen
2005 - 2008 Studium Wirtschaftswissenschaften an der RWTH Aachen
2002 - 2007 Informatik-Studium an der RWTH Aachen