Director of Research and Development at Real Intent
Industry
Electronics / Computer Hardware
About
Formal Verification Methods, CPU and SoC Design Verification, Low Power Design, High Level Design Modeling and Analysis, Computer Architecture and Systems, Formal Hardware Specification, Rewriting Systems, Automatic Static Analysis, Model Checking, Application of Formal Methods in diverse areas (Hardware, Software, Data Mining, Biology)
We鈥檝e updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.
You can read the details below. By accepting, you agree to the updated privacy policy.
