Namit Chaturvedi
Contact
|
(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.
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 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
- 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