[MAIN PAGE] [TEACHING] [STUDENTS] [RESEARCH] [PUBLICATIONS] [TOOLS] [SERVICE]
Abhik Roychoudhury is a Professor of Computer Science at National University of Singapore. His research focuses on software testing and analysis, trust-worthy software construction and software security. He has been an ACM Distinguished Speaker (2013-19). He is currently leading the TSUNAMi center, a large five-year long targeted research effort funded by National Research Foundation in the domain of trust-worthy software. 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, specifically serving as Program Chair of ACM International Symposium on Software Testing and Analysis (ISSTA) 2016 and General Chair of ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE) 2022. He has served as an Editorial Board member of IEEE Transactions on Software Engineering (TSE) from 2014-18. Abhik received his Ph.D. in Computer Science from the State University of New York at Stony Brook in 2000.
I have researched at intersections of software engineering, (software) security, programming languages, real-time embedded systems, and trustworthy systems. My core interest lies in program analysis, with a software testing flavor. In the recent past, I have spent quite a bit of time dabbling in automated program repair.
Mobile app testing for crashes and security
Another focus in the project: Binary analysis for automated vulnerability detection.
Test1080 Innovation / start-up effort on automated testing of mobile apps.
Singapore Cyber-security Consortium, 2016-19.
Organizing second Singapore Cyber-security Conference (SG-CRC 2017), Media Coverage.
Distinguished Lecture at University of Luxembourg Interdisciplinary Center for Security, Reliability and Trust (SnT) - VIDEO.
Co-organized Dagstuhl Seminar on Program Repair - January 2017.
Singapore Cyber-security Consortium launched - see News and Press Release: 20 Sept 2016 (Other News).
Older News (2014 and earlier)
Future of Mobile Software Keynote at MobileSoft 2017, May 2017.
Overview talk at Dagstuhl seminar on Automated Program Repair, January 2017.
At Dagstuhl Seminar on Symbolic Execution and Constraint Solving, October 2014, Talk given jointly with Satish Chandra.
A similar talk was given the CREST Open Workshop on Search based software testing and Dynamic Symbolic Execution - January 2014.
"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!