conf.researchr.org / Shuanglong Kan
![Shuanglong Kan](https://conf.researchr.org/getProfileImage/shuanglongkan/87780df8-0e6a-4a73-a4b7-600b8c904585/small.jpg?1712803902000)
Registered user since Mon 29 Nov 2021
Name:Shuanglong Kan
Country:Germany
Affiliation:TU Kaiserslautern
Personal website: https://arg.cs.uni-kl.de/gruppe/kan/
GitHub: https://github.com/RigorousCan
Research interests:String Solvers, Formal Methods, Isabelle/HOL, Programming Languages
Contributions