Abhik ROYCHOUDHURY
Provost's Chair ProfessorCo-Director (Singapore), DesCartes
- 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 Provost's Chair Professor of Computer Science at the National University of Singapore (NUS), where he has led a research team on trustworthy software systems (TSS) since 2001. His research group is known for contributions to automatic programming, fuzzing and symbolic execution, which have been honored with various awards including an ICSE Most Influential Paper Award (10 year Test-of-time award) for program repair. Past doctoral students from the research team have been placed in various institutions as academics including UCL, Max Planck Inst., Peking U., UniMelb and Concordia U. He has also served the software engineering research community in various capacities including as chair of the major conferences of the field, ICSE and FSE. Abhik received his PhD in Computer Science from the State University of New York at Stony Brook in 2000.
RESEARCH AREAS
Programming Languages & Software Engineering
- Program Analysis
- Program Repair
- Software Testing
Security
- Software Security & Analysis
- Trustworthy Computing
RESEARCH INTERESTS
Program Analysis
Software Testing
Software Security
Trustworthy Systems
RESEARCH PROJECTS
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
RESEARCH GROUPS
Trustworthy and Secure Software (TSS)@NUS
TEACHING INNOVATIONS
Intelligent Tutoring System to teach programming and algorithms
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 made it available for incoming freshmen taking programming course CS1010S. Current work is to extend it to teach algorithms in CS2040S.
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
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)
MODULES TAUGHT
CS5219
Automated Software Validation