Advanced Micro Devices, Inc.
Develop numerical modelling techniques for various number systems and operations, produce C++ for numerical models, perform formal verification against RTL, explore numerical formal verification methods, teach number systems, and promote automated design space exploration for graphics algorithms.