Junrui Liu
@junrui-liu.bsky.social
CS PhD student @ UC Santa Barbara, doing program synthesis and verification
https://junrui-liu.github.io/
https://junrui-liu.github.io/
"Proving termination and completeness... merely lets you sleep better."
November 11, 2025 at 11:32 PM
"Proving termination and completeness... merely lets you sleep better."