Daniel Neider

Meine neue Website finden Sie unter: http://www.seas.ucla.edu/~neider/

Kontakt

Anschrift RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen
Büro Raum 4106 (ich bin umgezogen), 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

Sommersemester 2013
Übungen zur Vorlesung Formale Sprachen, Automaten, Prozesse
Wintersemester 2012/13
Proseminar über Automatentheorie
Sommersemester 2012
Übungen zur Vorlesung Automaten, Sprachen, Komplexität
Wintersemester 2011/12
Übungen zur Vorlesung Infinite Computations
Proseminar über Automatentheorie
Sommersemester 2011
Übungen zur Vorlesung Formale Sprachen, Automaten, Prozesse
Wintersemester 2010/11
Übungen zur Vorlesung Infinite Computations
Proseminar über Automatentheorie
Sommersemester 2010
Übungen zur Vorlesung Angewandte Automatentheorie
Seminar über Automatentheorie
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

August 2011 - Oktober 2011 Forschungsaufenthalt an der University of Illinois at Urbana-Champaign (Prof. Madhusudan Parthasarathy)
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