NUS Presidential Young Professor Kuldeep Meel and PhD Student wins Distinguished Paper Award at CAV 2023wayneNovember 9, 2023