Hanliang Zhang (张汉樑)

I’m a fourth-year Ph.D. student in the Bristol PL Research Group at the University of Bristol, working under the supervision of Meng Wang and Cristina David. My research explores automatic program translation to Rust, leveraing techniques from static analysis, formal methods, and large language models (LLMs).

Before joining Bristol, I earned my Bachelor’s degree from Peking University, where I worked with Zhenjiang Hu on reasoning about and optimizing bidirectional programs through program calculation techniques.

Software

  1. Crown An ownership analysis guided C to Rust transpiler
  2. Oxidizer A scalable LLMs-based Go to Rust transpiler
  3. ContractLens-Agda An Agda verification of the contract lens framework

Professional Service