KIT - Application-oriented Formal Verification - Team

Shobhit Singh, PhD Researcher / PhD Student
	Room 202, Building 50.34 Phone: +49 721 608-44024 Fax: +49 721 608-44021 shobhit.singhXwx3∂kit edu this.shobhit.github.io	KIT / Institute of Information Security and Dependability (KASTEL) Am Fasanengarten 5 Building 50.34 76131 Karlsruhe Germany

Shobhit Singh, PhD

Researcher / PhD Student

Room 202, Building 50.34
Phone: +49 721 608-44024
Fax: +49 721 608-44021
shobhit.singhXwx3∂kit edu
this.shobhit.github.io

KIT / Institute of Information Security and Dependability (KASTEL)

Am Fasanengarten 5
Building 50.34
76131 Karlsruhe
Germany

Program and Model Repair
Verifying, repairing and synthesizing programs
As part of the Convide Project I work on formalising consistency in model-driven development

2026
Title	Author(s)	Source
Consistency Management of Virtual Single Underlying Model for Cyber-Physical Systems	Tianhai Liu, Shobit Singh, Mattias Ulbrich, Vitus Lüntzel, Shmuel Tyszberowicz, and Bernhard Beckert	Proceedings of the Spring School on Engineering Trustworthy Software Systems (SETSS)
Slicing Models for Equiconsistency with Alloy	Marc Thieme, Shobhit Singh, Terru Stübinger, Romain Pascual, and Mattias Ulbrich	Rigorous State-Based Methods - 12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, Proceedings