Abhik Roychoudhury

software testing cybersecurity symbolic execution program analysis software security automated programming software debugging trustworthy software systems phd in computer science strategy for success in phd large language models debugging program repair software engineering fuzz testing greybox fuzzing intelligent tutoring security vulnerability automated program repair trustworthy artificial intelligence translation of research ideas imagination choosing phd topic phd program synthesis programming education genetic programming overfitting real-time systems mobile software energy