Logik
und Theorie
diskreter Systeme

Informatik 7

Namit Chaturvedi

Namit Chaturvedi

Kontakt

Anschrift RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen
Büro Raum 4118, Ahornstr. 55, 52074 Aachen
Telefon +49 (241) 80 21722
Telefax +49 (241) 80 22215
Email chaturvedi(at)automata.rwth-aachen.de
Sprechstunde Nach Vereinbarung

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