Cuong Chau work email
- Valid
- Valid
Cuong Chau personal email
- Valid
Cuong Chau is a Staff Engineer at Arm. He possess expertise in c++, computer science, machine learning, algorithms, java and 7 more skills.
-
Staff EngineerArmAustin, Tx, Us -
Formal Verification EngineerIntel Corporation Jun 2022 - PresentHo Chi Minh City, VietnamFormal verification of arithmetic datapath operations in Intel microprocessor designs using the ACL2/SVTV framework. -
Senior EngineerArm Jul 2019 - May 2022Austin, Texas AreaFormal verification of floating-point arithmetic in Arm CPU and GPU designs using ACL2.Developing tools, lemma libraries, and techniques in ACL2 that support formal analysis of hardware modules.
-
Graduate Research AssistantDepartment Of Computer Science, The University Of Texas At Austin Sep 2013 - Jun 2019Formal Modeling and Verification of Asynchronous Circuits Using ACL2Advisor: Prof. Warren A. Hunt, Jr.Sep 2015 - Jun 2019IsoLator: Avoiding Isomorphic Graphs EffectivelyAdvisor: Dr. Marijn HeuleSep 2015 - Jan 2016Non-Standard Analysis in ACL2(r)Advisors: Prof. Warren A. Hunt, Jr., Dr. Matt Kaufmann, and Prof. Ruben GamboaNov 2014 - Sep 2015Code Verification for Practical Machine ArchitecturesAdvisors: Prof. Warren A. Hunt, Jr. and Dr. Matt KaufmannSep 2013 - May 2015 -
Graduate Research AssistantDepartment Of Computer Science, The University Of Texas At Austin Jan 2013 - Aug 2013Statistical Relational Learning and Script Induction for Textual InferenceAdvisor: Prof. Raymond J. Mooney
-
Formal Verification Engineer InternCentaur Technology, Inc. May 2015 - Aug 2015Austin, Texas AreaFormal verification of floating-point multiplication implemented in the microprocessor designed at Centaur.Advisor: Dr. Anna Slobodova -
Hardware Engineer InternOracle May 2014 - Aug 2014Austin, Texas AreaFormal verification of floating-point division and square root as implemented in the new UltraSPARC core.Advisor: Dr. David L. Rager -
LecturerHo Chi Minh City University Of Technology Aug 2009 - Jul 2011Ho Chi Minh City, VietnamDepartment of Computer Science
Cuong Chau Skills
Cuong Chau Education Details
-
Computer Science -
Computer Science
-
Computer Science And Engineering
Frequently Asked Questions about Cuong Chau
What company does Cuong Chau work for?
Cuong Chau works for Arm
What is Cuong Chau's role at the current company?
Cuong Chau's current role is Staff Engineer.
What is Cuong Chau's email address?
Cuong Chau's email address is ck****@****ail.com
What schools did Cuong Chau attend?
Cuong Chau attended The University Of Texas At Austin, The University Of Texas At Austin, Ho Chi Minh City University Of Technology.
What are some of Cuong Chau's interests?
Cuong Chau has interest in Social Services, Children, Algorithm, Optimization, Education, Machine Learning, Computational Logic, Formal Verification, Science And Technology, Mechanical Theorem Proving.
What skills is Cuong Chau known for?
Cuong Chau has skills like C++, Computer Science, Machine Learning, Algorithms, Java, Scala, Matlab, Acl2, Common Lisp, Mechanical Theorem Proving, Formal Verification, C.
Who are Cuong Chau's colleagues?
Cuong Chau's colleagues are Jhun Sison, June Wong, Alice Liu, Surbhi Shapara, Bo Zhang, Haryady Laksana Putra, Helen Liu.
Not the Cuong Chau you were looking for?
-
-
1libertyinsurance.com.vn -
-
Cuong Chau
Data Engineer & Deployment Strategist | Building & Deploying Data SolutionsHo Chi Minh City, Vietnam
Free Chrome Extension
Find emails, phones & company data instantly
Aero Online
Your AI prospecting assistant
Select data to include:
0 records × $0.02 per record
Download 750 million emails and 100 million phone numbers
Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.
Start your free trial