651 68939


Provost's Chair Professor

  • Ph.D. (CS), State University of New York at Stony Brook, 2000
  • M.S. (CS), State University of New York at Stony Brook, 1997

Abhik Roychoudhury is a Provost's Chair Professor of Computer Science at the National University of Singapore, where he has been since 2001 after receiving his Ph.D. in Computer Science from the State University of New York at Stony Brook in 2000. He is the Director of the National Satellite of Excellence in Trustworthy Software Systems at Singapore (2019-23). He has previously led 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 has also helped set up the Singapore Cyber-security Consortium (2016-22), which is a consortium of 25 companies in the cyber-security space engaging with academia for research and collaboration. Abhik's research focuses on software testing and analysis, software security and trust-worthy software construction. Abhik is a member of the Steering committee of the flagship conferences in Software Engineering, International Conference on Software Engineering (ICSE) and Symposium on Foundations of Software Engineering (FSE). His former doctoral students have been placed all over the world as academics (Peking University, University College London, Max-Planck Institute, University of Melbourne, SUSTech, SUTD). His research team is known for contributions to automated program repair, and fuzz testing.


Programming Languages & Software Engineering
  • Program Analysis
  • Program Repair
  • Program Synthesis
  • Software Testing
  • Software Security & Analysis
  • Trustworthy Computing


  • Program Analysis

  • Software Testing

  • Software Security

  • Trustworthy Systems


Automated Program Repair


Foundational Research Capabilities (FRC) Study on Foundations of Security and Data Privacy

This study was undertaken on behalf of National Research Foundation (NRF) Singapore, to study long-term plans in Security and Privacy foundations, and for further growing foundational research capabilities in Singapore. The study team was led by Abhik Roychoudhury from NUS, and had team members from NUS, NTU, SMU, CSA, A*STAR. The team submitted its report and recommendations at the end of 2022.

Intelligent Modelling for Decision-Making in Critical Urban Systems - DesCartes



Engineering Intelligent Tutoring Systems to teach first-year programming

With the increase in enrollments, there is a need to support technology-enabled learning of programming. We are engineering an intelligent tutoring system for a third-year course called Foundations of Software Engineering (CS3213). We built this system based on course requirements for freshmen, and we intend to make it available for incoming freshmen taking programming courses in subsequent years.


  • SemFix: Program Repair via Semantic Analysis, Hoang D.T. Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra, ACM/IEEE International Conference on Software Engineering, ICSE 2013.
  • Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis, Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury, ACM/IEEE International Conference on Software Engineering, ICSE 2016.
  • Coverage-based Greybox Fuzzing as Markov Chain, Marcel Böhme, Van Thuan Pham, Abhik Roychoudhury, 23rd ACM Conference on Computer and Communications Security, CCS 2016.
  • Chronos: A Timing Analyzer for Embedded Software, Xianfeng Li, Yun Liang, Tulika Mitra and Abhik Roychoudhury, Science of Computer Programming, Volume 69, December 2007.
  • Directed Greybox Fuzzing, Marcel Böhme, Van Thuan Pham, Manh Dung Nguyen, Abhik Roychoudhury, 24th ACM Conference on Computer and Communications Security, CCS 2017.


  • International Conference on Software Engineering (ICSE) 10-year Most Influential Paper for ICSE2013 paper SemFix

  • IEEE TCSE New Directions Award (2022) for contributions to symbolic execution (awarded jointly with Cristian Cadar)


Automated Software Validation
Advanced Topics in Program Analysis