Nicolae TusinschiProduct Specialist Design Verification at OneSpin Solutions
Nicolae Tusinschi is Product Specialist Design Verification at OneSpin Solutions. He joined the team in 2016 as a QA engineer and developed an exhaustive knowledge of OneSpin’s formal verification tools before focusing on the company’s OneSpin 360 DV™ solution. His key projects have included integrating simulation coverage with formal results, leveraging coverage results in the verification process, and verification of RISC-V designs. Nicolae holds a BS Industrial Automation from “Dunărea de Jos” University of Galați (Romania) and a European Master's in Embedded Computing Systems (EMECS) from Technische Universität Kaiserslautern (Germany) and University of Southampton (United Kingdom).