19 October 2020 – Members from Meel Group (Sung Kah Kay Assistant Professor Kuldeep S. Meel’s research lab) emerged champions at the 1st International Competition on Model Counting (MC 2020). A total of 17 entries were submitted to this year’s competition, which aimed to evaluate the performance of model counting tools.

12 October 2020 – A team of NUS Computing students won first place at the Facebook Singapore Virtual Hack, held virtually on 3 October this year.

7 October 2020 – The NUS team comprising Sung Kah Kay Assistant Professor Kuldeep S. Meel, Visiting Senior Research Fellow Mate Soos, and research intern Arijit Shaw took home the top prizes at the SAT Competition 2020.