David Tsz-Wang So

Papers

Total Citations

H-Index

About

David Tsz-Wang So is a pioneering researcher in the field of robotics and real-time embedded systems, with a particular focus on formal methods for robot control. His most cited work, "Design of a Mobile Robot Controller using Esterel Tools" (2002, 10 citations), introduced a groundbreaking approach to programming robot controllers using the synchronous reactive language Esterel. This work demonstrated how modern real-time programming languages could replace traditional sequential or robot-specific languages, enabling more reliable and verifiable robot behavior through formal semantics. So's major contribution lies in bridging the gap between theoretical computer science and practical robotics, showing that synchronous languages can produce provably correct control software for mobile robots. His research has influenced how engineers approach safety-critical robot programming, particularly in applications requiring deterministic timing and concurrency. While his citation count reflects the specialized nature of his work, So's methodology has been foundational for researchers exploring formal verification in robotics. His approach continues to inspire new generations of roboticists seeking to combine rigorous software engineering principles with autonomous systems design.