Shuanglong Kan

Name:	Dr. Shuanglong Kan
Email:	shuanglong [at] cs.uni-kl.de
Hausadresse:	Geb. 34, Raum 421 Gottlieb-Damler-Str 67663 Kaiserslautern
Phone:	(0631) 205-3355

Forschungsinteressen

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.