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