Name: Dr. Shuanglong Kan
Email: shuanglong [at]
Hausadresse:Geb. 34, Raum 421
67663 Kaiserslautern
Phone: (0631) 205-3355


I am always keen on the topics of formal methods, such as logic, automata theory, theorem proving, and model checking. My previous works include: (1) partial order reduction for state-event systems; (2) constructing a verified compiler for the synchronous language SIGNAL with Event-B; (3) building the operational semantics of Rust and Solidiy using rewriting logic based tool K-Framework. Now I am working with Prof. Anthony Lin on constructing verified string solver.

Laufende Projekte

Wissenschaftlicher Werdegang