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
POPL 2022-profile
View general profile
View general profile