Cuong Chau is a Staff Engineer at Arm, specializing in architecture formal verification. Previously, Cuong interned as a Formal Verification Engineer at Centaur Technology, Inc. and Oracle, focusing on floating-point arithmetic operations. Cuong contributed to formal verification at Intel Corporation and worked as a Graduate Research Assistant at The University of Texas at Austin, earning both a Master of Science and a Doctor of Philosophy in Computer Science. Additionally, Cuong served as a lecturer at Ho Chi Minh City University of Technology.
Location
Austin, United States
This person is not in any offices