Siddarth Goyal Email & Phone Number

Delhi, India

- Plan the formal verification strategy, and create the properties and constraints for digital design blocks.- Utilize formal property verification tools combined with formal verification closure techniques to verify properties.- Contribute improvements to methodologies to enhance formal verification results.

- Designed an Excel dashboard with advanced tools for data analysis and visualization, enabling data-driven decisions and improving product strategy. - Developed a Python-based ETL pipeline that automated data processing, reduced processing time by 80%, and enhanced data integrity for accurate product metrics and reporting. - Analyzed data to identify.

> Organised various events like Know your Alums, Keynote with distinguished Alumni's> Established collaborations with Foreign Colleges’ Chemical Society; Increased social media presence and reach by 60%.

- Developed a deep learning-based system for automatic OCR capture of PAN card data, achieving 90% accuracy on 50+ test images; Implemented techniques like transfer learning and data augmentation to enhance model robustness- Built the machine learning pipeline in Python using OpenCV, TensorFlow and Keras; Performed extensive data preprocessing and.

-Hosted a student conference with the Secretary Gen of UNSC during his India visit.-Orchestrated the signing of research and student exchange MOUs for the institute with more than 20 internationally-recognized universities.-Managed the ground-work in alumni events of the institute having the likes of personalities like Mr. Vinod Khosla, Mr. Binny Bansal.

-Hosted and Managed three Big Events in Rendezvous spread throughout the Fest.-Managed a team of 4 students and conducted events with them