Max Robotics — Global Service Robot Directory + US Certification

About

Luan Viet Nguyen is a researcher at the forefront of formal methods, verification, and control for cyber-physical systems and artificial intelligence. His work bridges the critical gap between theoretical rigor and practical tool development, ensuring that safety-critical autonomous systems—from self-driving cars to collaborative robots—behave correctly and securely. Nguyen’s most impactful contribution is his pioneering work on parallelizable reachability analysis for feed-forward neural networks (49 citations), a foundational method for verifying the safety of deep learning models before deployment. He has also made significant strides in advancing temporal logics for complex system specifications, notably introducing HyperTWTL, a logic for reasoning about hyperproperties in time-critical domains like smart grids and automotive systems. Beyond theory, Nguyen is a key contributor to widely-used open-source verification tools, including C2E2, HyST, and TuLiP, which empower engineers to analyze hybrid systems with both continuous and discrete dynamics. His recent work extends these techniques to human-robot collaboration in construction, developing runtime monitoring frameworks that ensure safe interaction. With publications spanning model-order reduction, motion planning, and perception-based verification, Nguyen’s research provides the essential mathematical and software foundations for building trustworthy autonomous systems.