SPLASH 2023 (series) / Chiao Hsieh
Registered user since Thu 20 Aug 2020
Name:Chiao Hsieh
Bio:
Postdoctoral Researcher in Computer Software Group at Kyoto University.
Country:Japan
Affiliation:Kyoto University
Personal website: https://hc825b.github.io
GitHub: https://github.com/hc825b
Research interests:Verification, Cyber-Physical Systems, Formal Methods, Testing
Contributions
SPLASH 2023-profile
View general profile
View general profile