[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
2 October 2024
6 March 2026
Tech in Asia reported on NUS School of Computing's collaboration with OpenAI to integrate Codex and other tools from OpenAI's ...
14 November 2018
16 June 2023
8 November 2018
13 February 2019
8 March 2024
Associate Professor Bryan Low leads an accelerated Master’s programme in AI, providing early research exposure to Singaporean undergraduates. The programme ...
1 March 2018
12 September 2026
Through Computing for Voluntary Welfare Organisations (CVWO), students at NUS Computing have built a mobile app that helps adults with ...
31 October 2018
30 April 2025
30 January 2018
29 April 2018
4 December 2018
23 November 2021
8 April 2019