Namit Chaturvedi
 |
Kontakt
|
(To the English version)
Ich bin ein Mitglied von Wolfgang Thomas' Forschungsgruppe "Logik und Theorie diskreter Systeme" an der RWTH Aachen. Ich war ein Stipendiat im DFG Graduiertenkolleg "Algorithmisch Synthese reaktiver und diskret kontinuierlicher Systeme" (AlgoSyn). Nun werde ich aus einem EU Projekt "Collective Adaptive Systems Synthesis with Non-zero-sum Games" (CASSTING) finanziert.
Meine Dissertation befasst sich mit Automaten, formalen Sprachen und der algorithmischen Synthese verteilter Systeme. Mehr über meine bisherige Hauptprojekte finden sie hier (auf Englisch).
Publikationen
Lehre
(Wenn Sie einen Seminar bei mir gewählt haben, und brauchen eine Kopie von dem Papier, dann informieren Sie mich darüber.)- Wintersemester 2013/2014
- Seminar über Automatentheorie (Link)
- Wichtig (für Studenten): Bitte beachten Sie meine Verfügbarkeit während des WS 2013/14. Es wäre nett wenn Sie so plannen, dass wir unsere Besprechungen in den folgenden Zeiträumen haben können.
- • 10.09.—16.09.2013
- • 27.09.—11.10.2013 (außer 30.09. und 1.10.)
- • ab 11.11.2013
- Sommersemester 2013
- Angewandte Automatentheorie (Link)
- Wintersemester 2012/2013
- Infinite Computations (Link)
- Sommersemester 2012
- Angewandte Automatentheorie (Link)
- Seminar über Automatentheorie (Link)
- Wintersemester 2011/2012
- Seminar über Automatentheorie (Link)
- Sommersemester 2011
- Seminar über Automatentheorie (Link)
Ausgewählte Vorträge
- (Folien) Eingeladener Vortrag: Toward a structure theory of ω-regular trace languages
- Schlusskonferenz des Projektes „Frontiers of RECognizability“, CIRM Luminy, Frankreich, 29 April 2014
- (Folien) Toward a structure theory of ω-regular trace languages
- Seminar: Graphen und Logik, LaBRI Bordeaux, Frankreich, 11 März 2014
- (Folien) Languages of Infinite Traces and Deterministic Asynchronous Automata
- CSA Seminar, Indian Institute of Science, Bangalore, Indien, 06 November 2013
- (Folien) On ω-Regular Trace Languages: Classification and Synthesis
- Annual Workshop of the ESF Networking Programme on Games for Design and Verification (GAMES 2012), Neapel, Italien, 07-12 September 2012
- und
- 4th Workshop on Games for Design, Verification and Synthesis (GASICS 2012), Newcastle am Tyne, Großbritannien, 03 September 2012
- (Folien) Languages vs. ω-Languages in Regular Infinite Games
- 15th Conference on Developments in Langauge Theory (DLT 2011), Mailand, Italien, 19-22 Juli 2011
- (Folien) Infinite Games: Simple Strategies for Simple Specifications
- Gemeinsamer Workshop der Graduiertenkollegs -- I, Schloss Dagstuhl, Deutschland, Juni 2011