KIT - Anwendungsorientierte Formale Verifikation - Mitarbeiter

Shobhit Singh, PhD Wissenschaftlicher Mitarbeiter / Doktorand
Raum 202, Gebäude 50.34 Tel.: +49 721 608-44024 Fax: +49 721 608-44021 shobhit.singhXwx3∂kit edu	KIT / Institut für Informationssicherheit und Verlässlichkeit (KASTEL) Am Fasanengarten 5 Gebäude 50.34 76131 Karlsruhe Deutschland

Shobhit Singh, PhD

Wissenschaftlicher Mitarbeiter / Doktorand

Raum 202, Gebäude 50.34
Tel.: +49 721 608-44024
Fax: +49 721 608-44021
shobhit.singhXwx3∂kit edu

KIT / Institut für Informationssicherheit und Verlässlichkeit (KASTEL)

Am Fasanengarten 5
Gebäude 50.34
76131 Karlsruhe
Deutschland

Automata Theory, Model Checking, Safety/Liveness games
Verififying, repairing and syntheisizing programs
As part of the Convide Project I work on formalising consistency in model-driven programs