Chiao Hsieh
Reseach Assistant Professor at Japan Advanced Institute of Science and Technology
Kyoto, Kyoto Prefecture, Japan
Summary
👤
Senior🎓
Top SchoolChiao Hsieh is a research-focused software engineer and Research Assistant Professor at JAIST with 11 years of experience in testing and verification for safety-critical software and cyber-physical systems, including UAVs and autonomous vehicles. She earned a Ph.D. from UIUC in 2023 and combines formal verification techniques with practical testing workflows to ensure end-to-end system safety. Based in Kyoto and previously affiliated as a program-specific researcher at Kyoto University, she bridges international academic training from National Taiwan University to top-tier U.S. research. Her work emphasizes making rigorous guarantees actionable for real-world robotic platforms, often integrating tool-driven analyses with system-level experiments.
11 years of coding experience
Master of Science (M.S.), Master of Science (M.S.) at National Taiwan UniversityUniversity of Illinois Urbana-Champaign
English, Chinese, Chinese, Japanese
Stackoverflow
13reputation
58reached
0answers
1question
Github Skills (59)
boogie8
gazebosim7
electrophysiology7
co-simulation7
robotics-simulation6
sdf6
gazebo-simulator6
read-the-docs6
checker6
agent-based-modeling6
python6
dafny6
simulation6
simulation-modeling6
robotics6
Programming languages (8)
Github contributions (5)
cyphyhouse/Cymulator
Jul 2019 - Sep 2021
Simulator for CyPhyHouse project based on Gazebo
Contributions:1 review, 163 commits, 11 PRs in 2 years 2 months
gazeborobotics-simulationroboticsagent-based-modelingsdf
GEM-Illinois/POLARIS_GEM_e2
Aug 2021 - May 2023
Simulator for Polaris GEM e2 Electric Cart developed in Center for Autonomy at University of Illinois at Urbana-Champaign
Contributions:4 PRs, 60 pushes, 7 branches in 1 year 8 months
illinoissimulationsimulatorgazebopolaris
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.