Awanish Pandey — Program Manager
At Indian Institute of Technology Roorkee, our team focuses on advancing program verification, intertwining my PhD knowledge with a passion for compiler technology and security. While previously at AMD, we harnessed LLVM to optimize system performance, cultivating a niche in compiler construction and program analysis. Our achievements include pioneering regression-aware debugging techniques and automated benchmark creation. With a foundation in computer science from NIT Uttarakhand, we strive to elevate automated testing and verification, utilizing model checking and symbolic execution to refine and expedite software reliability processes.
Stackforce AI infers this person is a Software Development expert specializing in compiler technology and automated testing.
Location: Roorkee, Uttarakhand, India
Experience: 5 yrs 10 mos
Skills
- Compiler Optimization
- Software Security
- Software Testing
- Debugging
- Automated Software Testing
- Performance Optimization
Career Highlights
- Expert in compiler optimization and program analysis.
- Pioneered regression-aware debugging techniques.
- Strong foundation in automated testing and verification.
Work Experience
Indian Institute of Technology, Roorkee
Assistant Professor (1 yr 8 mos)
AMD
Member of Technical Staff (2 yrs 1 mo)
Qualcomm
Senior Engineer (2 yrs 1 mo)
Education
Doctor of Philosophy (PhD) at Indian Institute of Technology, Kanpur
Bachelor's degree at National Institute of Technology uttarakhand
