COM3-02-04
651 68939

https://abhikrc.com

Abhik ROYCHOUDHURY

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.

RESEARCH AREAS

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

RESEARCH INTERESTS

  • Program Analysis

  • Software Testing

  • Software Security

  • Trustworthy Systems

RESEARCH PROJECTS

Fuzzing and Symbolic Execution

TRL 4

Automated Program Repair

TRL 4

National Satellite of Excellence in Trustworthy Software Systems


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


RESEARCH GROUPS

Secure Software Research Group

Past and present research team members in this group appear here: https://www.comp.nus.edu.sg/~abhik/students.htm


TEACHING INNOVATIONS

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.


SELECTED PUBLICATIONS

  • 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.

AWARDS & HONOURS

  • IEEE TCSE New Directions Award (2022)

  • ACM Distinguished Member (2020)

  • IBM Faculty Award 2009.

  • ACM Distinguished Speaker (2013 - 19).

  • Distinguished Paper Award (ESEC-FSE 2009, ICSE 2020), Distinguished Artifact Award (ISSTA 2021).

MODULES TAUGHT

CS3213
Foundations of Software Engineering
CS5219
Automated Software Validation