Alwin Mathew

Alwin Mathew is a skilled Formal Verification Engineer with experience at Tessolve since June 2025, specializing in formal register verification and related coding and test plan preparation tasks. Previously, at Cerium Systems from August 2021 to June 2025, Alwin focused on formal property verification using Jasper Gold, SVA, and test bench and test plan creation. Alwin began their career as a Student Intern at KELTRON COMPONENT COMPLEX LTD in June 2018. Alwin holds a Bachelor of Technology degree in Electronics and Communication from Mar Athanasius College of Engineering, completed in 2021, and a high school diploma with a focus on Computer Science from St Antony's Public School.