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
8 July 2018
5 December 2019
31 July 2018
25 September 2019
23 November 2021
2 June 2026
Professor Anthony Tung from the Department of Computer Science was featured on CNA's Singapore Tonight live segment, speaking on the ...
20 January 2021
18 February 2022
25 March 2026
Associate Professor Ooi Wei Tsang from the Department of Computer Science was featured in a report by The Business Times ...
18 November 2021
3 May 2018
25 May 2024
Associate Professor Terence Sim of the National University of Singapore’s Centre for Trusted Internet and Community said AI-generated porn is ...
30 October 2018
8 February 2024
Associate Professor Kan Min Yen emphasises that Southeast Asia's regulations are less detailed compared to the EU's, citing the region's ...
3 March 2018