|Name:||Dr. Shuanglong Kan|
|Email:||shuanglong [at] cs.uni-kl.de|
|Hausadresse:||Geb. 34, Raum 421|
ForschungsinteressenI 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.
PDF (212kB, 2020-07-12) [more ...]