SPLASH 2027 (series) / Tzu-Han Hsu
Registered user since Thu 21 May 2026
Name:Tzu-Han Hsu
Bio:
Hi! I am a research fellow at Harvard SEAS, and I am into program programs that ensures/proves your programs are safe programs.
Country:United States
Affiliation:Harvard University, USA
Personal website: https://tzuhancs.github.io/
X (Twitter): https://x.com/TzuHanH
GitHub: https://github.com/tzuhancs
Research interests:Formal Methods, Security&Privacy, Temporal Logics, Hyperproperties
Contributions
Using general profile