Namit Chaturvedi
 |
Contact
|
==== I do not offer internships. Please excuse me if I do not reply to your email soliciting one. ====
I am a member of Wolfgang Thomas' research group for "Logic and Theory of Discrete Systems" at the RWTH Aachen. I am also a scholarship holder in DFG Research Training Group AlgoSyn: Algorithmic synthesis of reactive and discrete-continuous systems.
I am interested in automata and formal languages, and my primary focus is on algorithmic synthesis of distributed systems.
Publications
Teaching
(If you have chosen your seminar topic with me and require a hard copy of the paper, then let me know about it.)- Winter Term 2012/2013
- Infinite Computations (Link)
- Summer Term 2012
- Applied Automata Theory (Link)
- Seminar on Automata Theory (Link)
- Winter Term 2011/2012
- Seminar on Automata Theory (Link)
- Summer Term 2011
- Seminar on Automata Theory (Link)
Selected Talks
- (Slides) On ω-Regular Trace Languages: Classification and Synthesis
- Annual Workshop of the ESF Networking Programme on Games for Design and Verification (GAMES 2012), Naples, Italy, 07-12 September 2012
- and
- 4th Workshop on Games for Design, Verification and Synthesis (GASICS 2012), Newcastle upon Tyne, The UK, 03 September 2012
- (Slides) Languages vs. ω-Languages in Regular Infinite Games
- 15th Conference on Developments in Langauge Theory (DLT 2011), Milan, Italy, 19-22 July 2011
- (Slides) Infinite Games: Simple Strategies for Simple Specifications
- Joint Workshop of the German Research Training Groups in Computer Science -- I, Schloss Dagstuhl, Germany, June 2011