ICFP/SPLASH 2025 (series) / Hanzhi Liu
Registered user since Tue 9 Sep 2025
Name:Hanzhi Liu
Country:United States
Affiliation:University of California, Santa Barbara & Riema Labs
X (Twitter): https://x.com/trackoor
GitHub: https://github.com/trackoor
Research interests:Blockchain, Formal Methods
Contributions
Using general profile