Abhik Roychoudhury

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









Open Positions


        Seeking to fill up  research positions in Automated Program Repair




Abhik Roychoudhury is a Professor of Computer Science at School of Computing, National University of Singapore. Abhik received his Ph.D. in Computer Science from the State University of New York at Stony Brook in 2000. Since 2001, he has been employed at the National University of Singapore. His research has focused on software testing and analysis, software security, and trust-worthy software construction. His research has received various awards and honors, including his appointment as ACM Distinguished Speaker in 2013. He is currently leading the TSUNAMi center, a large five-year long targeted research effort funded by National Research Foundation in the domain of software security. He is also the Lead Principal Investigator of the Singapore Cyber-security Consortium. His research has been funded by various agencies and companies, including the National Research Foundation (NRF), Ministry of Education (MoE), A*STAR, Defense Research and Technology Office (DRTech), DSO National Laboratories, Microsoft and IBM. He has authored a book on "Embedded Systems and Software Validation" published by Elsevier (Morgan Kaufmann) Systems-on-Silicon series in 2009, which has also been officially translated to Chinese by Tsinghua University Press. He has served in various capacities in the program committees and organizing committees of various conferences on software engineering including ICSE, ISSTA, FSE and ASE. He is currently serving as an Editorial Board member of IEEE Transactions on Software Engineering (TSE).

Research Interests


          Software Testing and Analysis, Software Security, Trustworthy Software Construction,

          Use of program analysis for finding vulnerabilities, or locating timing /energy issues in software.


Current Research Projects


        Home Trustworthy systems from un-trusted component amalgamations, funded by NRF, 2015-20.

          One current focus in the project: Automated Program Repair.    (here is a webpage on worldwide research in automated repair)

          Another focus in the project:  Binary analysis for automated vulnerability detection.



         Test1080 Innovation / startup effort on automated testing of mobile apps.




Research Themes




     Co-organizing Dagstuhl Seminar on Program Repair - January 2017.

     Singapore Cyber-security Consortium launched - see News and Press Release: 20 Sept 2016 (Other News).

     Test1080 - spin-off effort on 360 degree testing of mobile apps, funded an Innovation Grant 2016-18 - June 2016.

      TSUNAMi project on software security is ongoing (2015-20), click HERE for our technology show-case and videos.

      Older News (2014 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!