Name:Zhang Cheng

Bio:

I am a Ph.D. researcher in Computer Science and Technology at Shanghai Jiao Tong University. My research focuses on formal methods and compiler verification, with particular interests in denotation-based compositional compiler verification, semantic linking across heterogeneous languages such as C and assembly, and verified preservation of constant-time security properties during compilation.

Country:China

Affiliation:Shanghai Jiao Tong University

Research interests:Formal Verification; Programming Language; Compiler Verification