Scholar
Yun Chen TSAI
Google Scholar ID: revqTZsAAAAJ
PhD Student, National Institute of Informatics
Citations & Impact
Citations
14
H-index
1
i10-index
1
Publications
8
Co-authors
0
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- For more details, see his experience and publications pages.
Research Experience
- Currently a Research Assistant at NII.
Education
- Graduated from Hong Kong University of Science and Technology (HKUST) in January 2024; started Ph.D. study at National Institute of Informatics (NII) under the supervision of Prof. Ichiro Hasuo in October 2024.
Background
- Theoretical Computer Scientist & Mathematician. Research interests lie in the broad area of scientific computation and formal methods, focusing on utilizing tools from diverse aspects of mathematics (including but not limited to differential equations, optimization techniques, probability theory, algebraic methods) to develop novel frameworks and improve existing solutions in fields like dynamical systems, model checking, and program synthesis. Recent focus is on the verification of probabilistic and quantum models.
Miscellany
- Also known as Vincent, born in Taiwan and had most of his studies in Hong Kong.
Co-authors