28 October 2020 – NUS Computing Assistant Professor Brian Y. Lim won the ACM IMWUT Distinguished Paper Award at the UbiComp 2020 Conference, held online from 12 to 17 September 2020.

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.