![Hanliang Zhang](https://icfp24.sigplan.org/getProfileImage/hanliangzhang1/b3d95bc2-10f1-4baa-95ba-e5fc03005b89/small.jpg?1711728270000)
Registered user since Sun 28 Jan 2024
Name:Hanliang Zhang
Bio:
I’m a second year Ph.D. student in Bristol PL Research Group at the University of Bristol. I’m fortunate to be supervised by Meng Wang and Cristina David. I’m interested in programming languages, program analysis and software verification. I’m currently working on the automatic generation of safe and correct code by devising static analysis and leveraging the power of LLMs.
Before joining Bristol, I was an undergrad at Peking University supervised by Zhenjiang Hu and Yingfei Xiong. I had a wonderful time conducting research on reasoning and optimising bidirectional programs by using program calculation techniques.
Country:United Kingdom
Affiliation:University of Bristol, UK
Personal website: https://komaec.github.io/
GitHub: https://github.com/KomaEc
Research interests:Programming Languages, Program Analysis, Software Verification
Contributions
Using general profile