Abhik Roychoudhury

Provost's Chair Professor
School of Computing
National University of Singapore

Director, National Satellite of Excellence in Trustworthy Software Systems, Singapore.

 

Contact: abhik at comp.nus.edu.sg

 

 

 

 


 

[MAIN PAGE]   [TEACHING] [STUDENTS] [RESEARCH]  [PUBLICATIONS] [TOOLS]  [SERVICE]  

 


Recent

 

Communications of the ACM, Special Section on East Asia and Oceania is out! Watch Video.

 

Article and Video on "Automated Program Repair" appeared in Communications of the ACM.

 

[Jan 2020] Grant call launch by National Satellite of Excellence in Trustworthy Software Systems

 

Co-organizing Shonan Meeting on Fuzzing and Symbolic Execution in September 2019.

 

Sergey Mechtaev receives 2019 ACM SIGSOFT Outstanding Doctoral Dissertation Award for his PhD work (Dissertation).

 

 


 

Biography

Abhik Roychoudhury is a Professor (Provost's Chair) of Computer Science at the National University of Singapore. He has led various initiatives including the  National Satellite of Excellence in Trustworthy Software Systems , as well as the Singapore Cyber-security Consortium, which is a consortium of over 30 companies in the cyber-security space engaging with academia for research and collaboration. His research interests are primarily in software engineering,  focusing on software testing and analysis, software security and trust-worthy software. His research on automatically repairing programs at a large scale contributes to the vision of self-healing software. Many of his recent research works have led to usage such as the research on program repair has been used for teaching of introductory programming via the Prutor system in India, and his research on fuzz testing in the form of the AFLFast tool has been integrated into the American Fuzzy Lop (AFL) fuzzer which is used by corporations for finding software vulnerabilities.

He has served as an Associate Editor of IEEE Transactions on Software Engineering (TSE) during 2014-18, and is currently serving as an Associate Editor of IEEE Transactions on Dependable and Secure Computing (TDSC), ACM Transactions on Software Engineering and Methodology (TOSEM). His former doctoral students have been placed at universities all over the world as academics (Peking University, University College London, Monash, Shandong, SUSTech, SUTD) and have received various awards for their doctoral research including an ACM SIGSOFT Outstanding Doctoral Dissertation Award. Abhik received his own Ph.D. in Computer Science from the State University of New York at Stony Brook in 2000.


 

Research Interests

My interests are primarily in software engineering (SE). Within SE, I have focused on the following.


 

Research Initiatives


 

Research Themes


News

      Older News (2017 and earlier)

 


 

Views 

 


Reflection

 

          "Education consists mostly of what we have unlearned" - Mark Twain

"There is no joy in the finite. There is joy only in the infinite." - Upanishads. 

          ---> What can you infer by combining the above two statements?
                   
 

           And here is one of my favorites

          "If you shut the door to all errors, truth will be shut out."  - Rabindranath Tagore. 

          ---> In formal verification - we establish truth of a property in a model by shutting out all errors!