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 |
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