Saket Thool

Saket Thool is a Technical Lead specializing in Formal Equivalence Verification with over five years of experience in low-power FEV using Conformal and Formality TFM. They hold an MTech in Communication System Engineering from VNIT Nagpur, where they served as a Research Associate on a project focused on low-power wireless sensor nodes. Prior to their current role, Saket was a Research and Development Specialist at Electus Technologies Pvt. Ltd, contributing to industrial projects and providing training in embedded systems. They also completed internships at Intel Corporation, Technophilia, and Electus Robotics.