Scholar
Tzu-Han Hsu
Google Scholar ID: haAJZpIAAAAJ
Graduate Research Assistant of Computer Science, Michigan State University
Citations & Impact
Citations
94
H-index
4
i10-index
2
Publications
9
Co-authors
13
list available
Publications
Resume (English only)
Academic Achievements
- Published multiple papers accepted in NeurIPS'25, Acta Informatica, CAV'24, TACAS'23, and other international conferences and journals. Nominated for Google PhD Fellowship, passed the comprehensive exam and became a Ph.D. candidate.
Research Experience
- Worked as a research intern at Microsoft Research (MSR) and Amazon ARG team. Involved in various research projects, such as symbolic model checking for P systems.
Education
- Ph.D. student in Computer Science and Engineering at Michigan State University, advised by Dr. Borzoo Bonakdarpour.
Background
- From Taiwan, a Ph.D. student in Computer Science at Michigan State University, advised by Dr. Borzoo Bonakdarpour. Research interests include Formal Methods, Model Checking, Synthesis of Hyperproperties, Security and Privacy, Information-Flow Security. Highly interested in applying formal methods to computer security to ensure the soundness of computer programs.
Miscellany
- Over 18 years of experience in piano and violin. Performed Tchaikovsky Piano Concerto No.1 with ISU Symphony Orchestra in 2015, held a Solo Piano Recital in 2017, and was the Assistant Principal violinist for ISU Symphony Orchestra.
