Daniel Neider

Please find my new website at http://www.seas.ucla.edu/~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

At the moment, I am mainly interested in invariant synthesis in the context of formal verification. In particular, I am working with the ICE-learning framework, which has recently been introduced in joint work with Pranav Garg, P. Madhusudan.

Apart from ICE-learning, I am also interested in the following:

  • Algorithmic learning
  • Automata and formal languages
  • Formal verification; Model Checking and invariant synthesis
  • Synthesis of reactive systems
  • Logics

Research Background

August 2011 - October 2011 Research stay at University of Illinois at Urbana-Champaign's computer science department (Prof. Madhusudan Parthasarathy)
Since 2008 Research assistant at the Chair of Computer Science 7
2005 - 2008 Study of business administration at RWTH Aachen University
2002 - 2007 Study of computer science at RWTH Aachen University

Curriculum Vitae

Detailed information can be found in my curriculum vitae.

Publications

Diploma Thesis

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