[MAIN PAGE] [TEACHING] [STUDENTS] [RESEARCH] [PUBLICATIONS] [TOOLS] [SERVICE]
Several post-doc positions are available in the upcoming National Satellite of Excellence in Trustworthy Software Systems (2019-23). Please see my post in SEWorld (Dec 2018), and email me if interested.
Biography (Short CV, Long CV)
Abhik Roychoudhury is a Professor of Computer Science at the National University of Singapore. His research focuses on software testing and analysis, software security and trust-worthy software construction. His research group has built scalable techniques for testing, debugging and repair of programs using systematic semantic analysis. The research on automatically repairing programs at a large scale contributes to the vision of self-healing software. He has been an ACM Distinguished Speaker (2013-19). He is the Director of the National Satellite of Excellence on Trustworthy Software Systems at Singapore (2019-23). He is currently leading the TSUNAMi center (2015-20), 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 (2016-22), which is a consortium of around 40 companies in the cyber-security space engaging with academia for research and collaboration. His research has been funded by various agencies and companies, including the National Research Foundation (NRF), Office of Naval Research (ONR), Ministry of Education (MoE), A*STAR, Defense Research and Technology Office (DRTech), DSO National Laboratories, Microsoft and IBM. He has been a keynote speaker at several conferences, and 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) during 2014-18. Abhik received his Ph.D. in Computer Science from the State University of New York at Stony Brook in 2000. He has advised organizations and governments on cyber-security issues in different capacities, including being an advisory board member of the London Office for Rapid Cyber-security Advancement (LORCA) since 2018.
I have researched at intersections of program analysis, software security, real-time embedded systems, and trustworthy systems.
Software timing analysis ( Tool, Papers )
Cache Side Channel Attacks (oo7, CacheFix)
Trustworthy systems from un-trusted component amalgamations, 2015-20.
Singapore Cyber-security Consortium, 2016-22.
2019: Marcel Boehme receives Australian Research Council (ARC) Discovery Early Researcher Award (DECRA) for his work on fuzz testing.
Keynote speaker at 25th Australasian Software Engineering Conference (ASWEC 2018), speaking on Automated Program Repair.
July 2018: Our approach oo7 defends against Spectre Attacks, and imposes low (less than 2%) performance overheads.
Speaker at the 9th International Summer School on Information Security and Protection, Australian National University, July 2018.
Keynote speaker at 21st IEEE International Symposium on Real-time Computing (ISORC), NTU Singapore, May 2018.
Our work on repair of non-functional properties of mobile apps is highlighted in IEEE Innovation Spotlight.
Keynote speaker at KLEE Workshop on Symbolic Execution (Apr 18), Imperial College London.
Older News (2017 and earlier)
Keynote at 25th Australasian Software Engineering Conference, Adelaide, November 2018.
Keynote at KLEE Workshop on Symbolic Execution, Imperial College London, April 2018.
Keynote in 21st International Symposium on Real-time Computing (ISORC) 2018, Singapore.
Future of Mobile Software Keynote at MobileSoft 2017, Buenos Aires, Argentina, May 2017.
Overview talk at Dagstuhl seminar on Automated Program Repair, Germany, January 2017.
"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!