Saurav Kr. Ghosh — Product Engineer
After completing my B. Tech in Computer Science & Engineering in 2013, I have done my PhD from IIT Kharagpur in 2020. The primary topic of my research has been the application of formal methods for the reliability and security analysis of cyber-physical systems. Post PhD, I have worked as a Security Specialist in RBEI for 1 year before working as a postdoctoral research fellow in SUTD for 6 months. After working as a formal verification engineer in Intel FVCTO for 3 years 8 months, I am presently working in AMD Graphics IP team.
Stackforce AI infers this person is a cybersecurity and formal verification expert in the tech industry.
Location: Bengaluru, Karnataka, India
Experience: 6 yrs 2 mos
Skills
- Formal Verification
- Fuzzing
- Cybersecurity
Career Highlights
- PhD in Computer Science with a focus on cyber-physical systems.
- Over 3 years of experience in formal verification engineering.
- Expertise in cybersecurity and vulnerability assessment.
Work Experience
AMD
SMTS Silicon Design Engineer (1 yr 2 mos)
Intel Corporation
Formal Verification Engineer (3 yrs 7 mos)
Singapore University of Technology and Design (SUTD)
Research Fellow (5 mos)
Bosch Engineering and Business Solutions
Cybersecurity Specialist (1 yr)
Education
Doctor of Philosophy - PhD at Indian Institute of Technology, Kharagpur
Bachelor of Technology - BTech at Kalyani Government Engineering College
