Personal Information
Organization / Workplace
San Francisco Bay Area United States
Occupation
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)
Contact Details
