Person. Yicheng Zhang Scientist · Institute for Infocomm Research · zinczhang.github.io · 0000-0001-5979-793X PhDNanyang Technological University Master’sUniversity of Science and Technology of China Papers Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation chen-2022-synchronousFTSCS · 2022 DOI