Chiao Hsieh (Preferred)
Chiao Hsieh
Assistant Professor, Graduate School of Informatics, Kyoto University
- Joined June 2022
Names
Emails
****@illinois.edu (Confirmed)
, ****@kyoto-u.ac.jp (Confirmed)
Personal Links
Career & Education History
Assistant Professor
Graduate School of Informatics, Kyoto University (i.kyoto-u.ac.jp)
2025 – 2025
Postdoc
Graduate School of Informatics, Kyoto University (i.kyoto-u.ac.jp)
2023 – 2024
PhD student
Department of Computer Science, , University of Illinois at Urbana-Champaign (cs.illinois.edu)
2015 – 2023
Advisors, Relations & Conflicts
Expertise
Formal Verification
Present
Cyber-physical systems
Present