Abhik Roychoudhury is a Professor at National University of Singapore, where he leads the Trustworthy and Secure Software group. He collaborates frequently with the Software Reliability Group.
Group Publications
-
Agentic Concolic Execution
Zhengxiong Luo, Huan Zhao, Dylan Wolff, Cristian Cadar, Abhik Roychoudhury
IEEE Symposium on Security and Privacy (IEEE S&P 2026)
-
AI for Program Verification
Cristian Cadar, Abhik Roychoudhury
AI4X Conference 2025
-
Fuzzing: Challenges and Reflections
Marcel Böhme, Cristian Cadar, Abhik Roychoudhury
IEEE Software (2021)
