Abhik Roychoudhury

School of Computing
National University of Singapore
13 Computing Drive
Singapore 117417
Republic of Singapore.

Contact: abhik at comp.nus.edu.sg











Co-chairing CACM Special Section on East Asia and Oceania, to appear April 2020.


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


Our review article "Automated Program Repair" will appear in Communications of the ACM (Pre-print).


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


Grant call launched by National Satellite of Excellence in Trustworthy Software Systems. Please submit a proposal if you are eligible.




Abhik Roychoudhury is a Professor of Computer Science at the National University of Singapore. He is the Director of the National Satellite of Excellence in Trustworthy Software Systems at Singapore (2019-23).  He is currently leading the TSUNAMi research center (2015-20), a large five-year long targeted research effort funded by National Research Foundation in the domain of trust-worthy software. He is also the Lead Principal Investigator of the Singapore Cyber-security Consortium (2016-22), which is a consortium of 40 companies in the cyber-security space engaging with academia for research and collaboration. He has advised on secure and smart cyber-space in different capacities, including being an industry advisory board member of the London Office for Rapid Cyber-security Advancement (LORCA) since 2018. His research focuses on software testing and analysis, software security and trust-worthy software construction. His research on automatically repairing programs at a large scale contributes to the vision of self-healing software. He has been an  ACM Distinguished Speaker (2013-19). His research has been funded by various agencies and companies, including the National Research Foundation (NRF), Office of Naval Research (ONR),  Ministry of Education (MoE), A*STAR, Defense Research and Technology Office (DRTech), DSO National Laboratories, Microsoft and IBM. He has been a keynote or distinguished speaker at several conferences or universities, and has served in various capacities in the program committees and organizing committees of conferences, specifically serving as Program Chair of ACM International Symposium on Software Testing and Analysis (ISSTA) 2016 and General Chair of ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE) 2022. He has served as an Associate Editor of IEEE Transactions on Software Engineering (TSE) during 2014-18. He is currently serving as an Associate Editor of IEEE Transactions on Dependable and Secure Computing (TDSC), ACM Transactions on Software Engineering and Methodology (TOSEM) and Frontiers of Computer Science (FCS). 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.

In his personal life, he is married to Tulika Mitra, and he enjoys hikes while simultaneously enjoying both the cooking and consumption of food.


Research Interests


Research Initiatives


Research Themes


      Older News (2017 and earlier)







          "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!