Skip to content

Shuanglong Kan

  • PhD
  • Research Fellow
  • Nanyang Technological University
  • 3h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 36CitationsNumber of citations received by Shuanglong's publications. Updated daily.

Recent publications

  • K-Rust: An Executable Formal Semantics for Rust

    • Kan S
    • Sanan D
    • Lin S
    • et al.
    N/AReaders
    N/ACitations
  • Partial Order Reduction for the full Class of State/Event Linear Temporal Logic

    • Kan S
    • Huang Z
    N/AReaders
    0Citations

Professional experience

Research Fellow

Nanyang Technological University

September 2017 - Present

Education

bachelor's degree

Nanjing University of Aeronautics and Astronautics

September 2007 - June 2011(4 years)

Co-authors (21)

Other IDs