[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
26 May 2023
18 September 2018
28 July 2026
Professor Anthony Tung from the Department of Computer Science weighed in on a CNA investigation that uncovered over 300 AI-generated ...
30 April 2025
19 June 2025
9 September 2019
10 May 2018
5 October 2019
17 June 2026
Professor Anthony Tung from the Department of Computer Science appeared on 狮城有约 (Hello Singapore) to analyse the wave of tech ...
26 February 2024
NUS Computing graduates continued to command high employment rates and earned higher starting salaries in 2023, according to the Joint ...
18 November 2021
16 September 2026
Anthropic’s call for a global pause in AI development deserves to be taken seriously but a pause is structurally unlikely, ...