FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
Jikai Wang

Registered user since Mon 22 May 2023

Name:Jikai Wang
Country:China
Affiliation:Huazhong University of Science and Technology
Personal website: https://wjk.moe
Research interests:Binary Code Analysis, C/C++ Program Analysis, Pushdown Systems

Contributions

Show activities from other conferences

Using general profile