Nicolae TusinchiProduct Specialist Design Verification at OneSpin Solutions
Nicolae Tusinschi is Product Specialist Design Verification at OneSpin Solutions. Nicolae joined the team in 2016 as a quality assurance engineer and developed an exhaustive knowledge of OneSpin's complete suite of formal verification tools before targeting his attention on the company's OneSpin 360 DV design verification solution. His key projects have included integrating simulation coverage with formal results, leveraging coverage results in the verification process, and a case study on the application of formal verification to the I2C serial protocol. Nicolae holds a Bachelor of Science in Industrial Automation from Universitatea „Dunărea de Jos” din Galați (Romania) and a European Master's in Embedded Computing Systems (EMECS) awarded jointly by Technische Universität Kaiserslautern (Germany) and University of Southampton (United Kingdom). During his graduate studies, he completed his master's thesis, "Formal Verification of Proprietary Microcontroller IP," at Continental in Frankfurt, Germany. Nicolae is based at OneSpin headquarters in Munich, Germany and is proficient in English, Romanian, Russian, and German.