RESEARCH INTERESTs

Keywords: Static Analysis, Dynamic Analysis, Specification Mining, Fuzzing, Parsing, Cybersecurity, Grammar Inference, Grammar Mining, Mutation Analysis, Mutation Testing, Structural Coverage, Automatic Program Repair, Automatic Input Repair

Dr. Rahul Gopinath focuses on static and dynamic program analysis techniques to ensure that our software systems are (1) reliabile, that is, it can be depended on to be available, and will perform as expected by the user, (2) secure, that is, they are robust against attacks by adversaries, and (3) maintainable, that is, the system can be adapted quickly easily in response to change in requirements or assumptions by human or automatic entities.