Amarin Phaosawasdi
Papers
1
Total Citations
31
H-Index
1
About
Amarin Phaosawasdi is a researcher whose work sits at the critical intersection of formal methods, cyber-physical systems (CPSs), and high-assurance software. His most influential contribution, the "High-Assurance SPIRAL" framework (2017, 31 citations), tackles the immense challenge of providing end-to-end correctness guarantees for safety-critical systems, including autonomous vehicles and robots. Rather than focusing on isolated components, Phaosawasdi’s approach addresses the entire computational stack—from high-level control algorithms down to low-level code generation—ensuring that the software controlling physical processes behaves exactly as intended. This work is particularly vital for modern CPSs, where a single software fault in a car or power plant can have catastrophic consequences. By developing rigorous, mathematically verified methods for code synthesis and verification, Phaosawasdi has helped bridge the gap between theoretical formal verification and practical, real-world deployment. His research provides a blueprint for building trustworthy autonomous systems, making him a key figure in the push toward safer, more reliable cyber-physical infrastructure.
Research Focus
Key Achievements
Top Papers
- 1High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control31 citations · 2017