[The Straits Times] Singapore using AI to hasten the discovery of recipes for next-gen semiconductors, clean hydrogen
A research project co-led by Professor Abhik Roychoudhury from the Department of Computer Science was featured in The Straits Times in a report on Singapore's national AI-for-Science (AI4S) programme.
The article highlighted the project's aim to ensure that the growing volume of AI-generated code is safe and reliable – developing AI tools to automatically detect bugs, verify that software behaves as intended, and help developers and security professionals audit critical systems. The project, AI for Program Reasoning, is co-led with Professor Christian Cadar from Imperial College London, with partners from SMU, MIT, and ETH Zürich.
Trending Posts
On The Business Times’ Thrive, Associate Professor Sharon Tan, contributed insights to an article examining whether a tech degree remains ...