Registered user since Thu 20 Aug 2020
Name:Chiao Hsieh
Bio:
Program-Specific Assistant Professor 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
Using general profile