Registered user since Sun 28 Jan 2024
Name:Hanliang Zhang
Country:Canada
Affiliation:Automated Reasoning Group, Amazon Web Services
Personal website: https://komaec.github.io/
Research interests:Programming Languages, Program Analysis, Software Verification
Contributions
Using general profile