Daniel Neider

Contact

Postal Address RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen
Office Raum 4106 (I moved), Ahornstr. 55, 52074 Aachen
Phone +49 (241) 80 21703
Email
Office Hour by appointment

I am a member of Wolfgang Thomas' research group for "Logic and Theory of Discrete Systems" at the RWTH Aachen University.

Research interests:

  • Algorithmic learning
  • Model-Checking
  • Automata and formal languages

Diploma Thesis

Publications

Involvement in Courses

Summer term 2013
Supporting the lecture Formal languages, automata, processes
Winter term 2012/13
Introductory seminar on Automata Theory
Sommer term 2012
Supporting the lecture Automaten, Sprachen, Komplexität
Winter term 2011/12
Supporting the lecture Infinite Computations
Introductory seminar on Automata Theory
Summer term 2011
Supporting the lecture Formal languages, automata, processes
Winter term 2010/11
Supporting the lecture Infinite Computations
Introductory seminar on Automata Theory
Summer term 2010
Supporting the lecture Advanced Automata Theory
Seminar on Automata Theory
Winter term 2009/10
Supporting the lecture Algorithmic Learning Theory
Seminar on Automata, Grammars and their Application
Summer term 2009
Supporting the lecture Advanced Automata Theory
Seminar on Automata Theory
Winter term 2008/09
Supporting the lecture Infinite Games
Seminar on Automata Theory

Research Background

August 2011 - October 2011 Research stay at the Computer Science Department of the University of Illinois at Urbana-Champaign (Prof. Madhusudan Parthasarathy)
Since 2008 Research assistant at the Chair of Computer Science 7
2005 - 2008 Study of Business Administration at the RWTH Aachen University
2002 - 2007 Study of Computer Science at the RWTH Aachen University