My name's Hanyuan, I am a PhD student in the School of Computer Science and Engineering at the University of New South Wales, supervised by Professor Yulei Sui. My research interests are AI verification, formal methods and programming languages, and I primarily work on ACT, a static and dynamic verifier for machine learning models.
In my spare time, I develop and write blogs for my website, hanyuone.live. It's written in Rust, go check it out!
Programming and markup languages
Platforms and frameworks
Developer tools