Abhik Roychoudhury

software testing symbolic execution cybersecurity program analysis software security software debugging trustworthy software systems phd in computer science strategy for success in phd greybox fuzzing intelligent tutoring automated programming 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