Tzu-Han Hsu

Pronouns: she/her

PhD student, Computer Science and Engineering, Michigan State University

  • Joined May 2025

Names

Tzu-Han Hsu (Preferred)

Emails

****@msu.edu (Confirmed)

Personal Links

Career & Education History

PhD student
Computer Science and Engineering, Michigan State University (msu.edu)
2020 – Present
 

Advisors, Relations & Conflicts

PhD Advisor
2020 – Present
 

Expertise

Formal methods, Information-flow Security, Bounded Model Checking, Hyperproperties
2020 – Present