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