29 September 2021 Department of Computer Science , Faculty , Research , Algorithms & Theory

29 September 2021 - Professors Sanjay Jain and Frank Stephan and their research collaborators, lecturer Wei Li from the NUS Department of Mathematics, Professors Cristian Calude from the University of Auckland, and Bakhadyr Khoussainov from the University of Electronic Science and Technology of China and the University of Auckland, have won the EATCS-IPEC Nerode Prize for their paper on Deciding Parity Games in Quasipolynomial Time.


23 September 2021 Department of Computer Science , Faculty , Research

23 September 2021 – Assistant Professor Kuldeep Meel and his research collaborators, Dr Mate Soos and Nicholas Prevot, have won the Spring 2021 Amazon Research Award for their project titled ‘GPU-Enabled Parallel SAT Solving’, which focuses on enabling scalability of parallel SAT solvers using Graphics Processing Units (GPUs).