Sangharatna Godboley
Assistant Professor at National Institute of Technology Warangal
Warangal, Telangana, India
Summary
👤
Senior🎓
Top SchoolSangharatna Godbole is an Assistant Professor of Computer Science and Engineering at NIT Warangal with eight years of research and teaching experience focused on program analysis and software testing. He holds an M.Tech and Ph.D. from NIT Rourkela and spent two productive postdoctoral years at NUS contributing to dynamic symbolic execution techniques for achieving MC/DC coverage. A long-time member of the Tracer-X research group, he blends rigorous academic research with practical tooling insights to improve testability and verification of software. His background includes early teaching roles and sustained research in automated test generation, making him equally comfortable mentoring students and driving research projects that bridge theory and applied engineering.
8 years of coding experience
1 year of employment as a software developer
INTERMEDIATE, Mathematics, INTERMEDIATE, Mathematics at KENDRIYA VIDYALAYA, NAGPURBachelor of Engineering (BE), Computer Science & ENGG., Bachelor of Engineering (BE), Computer Science & ENGG. at Government Engineering College Koni, Bialspur.M-TECH, SOFTWARE ENGG., M-TECH, SOFTWARE ENGG. at National Institute of Technology Rourkela
Github Skills (14)
klee7
symbolic-execution7
condition7
virtual-machine7
calculator5
percentage5
tracer4
predicates4
criterion4
coverage4
checker4
symbolic-execution-engine3
truth2
llvm1
Programming languages (2)
Github contributions (5)
fuzzamos/dy-copeca
Mar 2018 - Mar 2018
Contributions:4 commits in 1 day
casescheckertruthtraceradequacy
sanghu1790/SC-MCC
Dec 2020 - Jun 2021
Contributions:14 pushes, 4 branches in 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.