Kshitij Agrawal — Software Engineer
Helping projects avoid inevitable bug escapes with exhaustive formal sign-off.
Stackforce AI infers this person is a Formal Verification Engineer with expertise in FPGA and digital design.
Location: Santa Clara, California, United States
Experience: 9 yrs 2 mos
Skills
- Fpga Programming
Career Highlights
- Expert in formal verification methodologies.
- Proven experience in FPGA programming and digital design.
- Strong background in improving software communication protocols.
Work Experience
Arm
Senior Engineer (0 mo)
Formal Verification Engineer (1 yr 7 mos)
NVIDIA
Senior Formal Verification Engineer (3 yrs 5 mos)
Oski Technology
Formal Verification Engineer (2 yrs 4 mos)
Sabre Corporation
Software Quality Assurance Engineer (1 yr 1 mo)
Tonbo Imaging
FPGA Intern (5 mos)
Birla Institute of Technology and Science, Pilani
Teaching Assistant for Digital Design Course (4 mos)
NeoCorp International Limited (NCIL), Pithampur
Intern (2 mos)
Education
Bachelor of Engineering (B.E.) at Birla Institute of Technology and Science, Pilani
6th-12th at Jawaharlal Nehru School, BHEL, Bhopal
at St. Aloysius Senior Secondary School, Sadar, Jabalpur