COM2-03-07
651 68939

https://abhikrc.com

Abhik ROYCHOUDHURY

Provost's Chair Professor
Director, Singapore Cybersecurity Consortium (SGCSC)


  • 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

RESEARCH GROUPS

Trustworthy Software Systems

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 of enrollments, there exists a need to support technology enabled learning of programming. We are engineering an intelligent tutoring system in a third year course on Foundations of Software Engineering (CS3213). We use requirements from first year students to build this intelligent tutoring system and make it available to first year 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

  • 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
CS4211
Formal Methods for Software Engineering