Namit Chaturvedi

Namit Chaturvedi


Postal Address RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen
Office Room 4118, Ahornstr. 55, 52074 Aachen
Phone +49 (241) 80 21722
Fax +49 (241) 80 22215
Email chaturvedi(at)
Office Hour By appointment

(Zu deutsche Fassung)

I am a member of Wolfgang Thomas' research group for "Logic and Theory of Discrete Systems" at the RWTH Aachen. I was a scholarship holder in the DFG Research Training Group AlgoSyn: Algorithmic synthesis of reactive and discrete-continuous systems. At present, I am supported by an EU sponsored project "Collective Adaptive Systems Synthesis with Non-zero-sum Games" (CASSTING).

The primary focus of my thesis is on deterministic automata for non-terminating distributed systems and the distributed controller synthesis problem. A brief overview of my main research projects, current and previous, can be found here.



(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 2013/2014
Seminar on Automata Theory (Link)
Important (for students): Please note my availability during WS 2013/14. It will be best if you can manage your schedule such that we can arrange our discussions during the following dates.
• 10.09.—16.09.2013
• 27.09.—11.10.2013 (except 30.09. and 1.10.)
• 11.11.2013 onwards
Summer Term 2013
Applied Automata Theory (Link)
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) Invited talk: Toward a structure theory of ω-regular trace languages
Final conference of the project "Frontiers of RECognizability", CIRM Luminy, France, 29 April 2014
(Slides) Toward a structure theory of ω-regular trace languages
Seminar: Graphs and Logic, LaBRI Bordeaux, France, 11 March 2014
(Slides) Languages of Infinite Traces and Deterministic Asynchronous Automata
CSA Seminar, Indian Institute of Science, Bangalore, India, 06 November 2013
(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
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

Valid HTML 4.01 Transitional