🎉👩🏫 We are elated to announce that associate professor Ilya Sergey, along with PhD student Kiran Gopinathan 🎓 and year 4 Computer Science undergraduate Mayank Keoliya, have earned the prestigious ACM SIGPLAN Distinguished Paper Award 🏆 at the 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)!👏💼 #ACMSIGPLAN #ComputerScience
Their revolutionary paper 📝, “Mostly Automated Proof Repair for Verified Libraries,” tackles the formidable challenge of proof repair in formal software verification. Through innovative use of program synthesis 🔄 and program testing techniques, the team devised Sisyphus, a tool 🛠 that largely automates the maintenance of Coq proofs for evolving code.💡
Their work is heralded as targeting the Achilles' heel of Interactive Theorem Proving and has far-reaching implications 🌍 in ensuring the robustness of machine-checked proofs in software development.🔐👨💻 Check out their story here: https://nus.edu/3PvPkcW🔍
Their revolutionary paper 📝, “Mostly Automated Proof Repair for Verified Libraries,” tackles the formidable challenge of proof repair in formal software verification. Through innovative use of program synthesis 🔄 and program testing techniques, the team devised Sisyphus, a tool 🛠 that largely automates the maintenance of Coq proofs for evolving code.💡
Their work is heralded as targeting the Achilles' heel of Interactive Theorem Proving and has far-reaching implications 🌍 in ensuring the robustness of machine-checked proofs in software development.🔐👨💻 Check out their story here: https://nus.edu/3PvPkcW🔍
🌏 For the first time ever, #NUS has made a historic leap into the top 10 of the QS World University Rankings, clinching the 8th spot globally and reigning as the top university in Asia! 🥇 A huge congratulations to the entire NUS community for this remarkable achievement!
📘💡 NUS's unwavering commitment is truly shaping future leaders and creating a positive global impact! 🌟🎓
🔗Read the full story here: news.nus.edu.sg/qs-world-university-rankings-2024-nus-rises-three-places-to-rank-within-global-top-8/
#QSWUR #NUS #NUSExcellence #NUSComputing #EducationExcellence #HigherEducation #GlobalImpact #TopUniversities
📘💡 NUS's unwavering commitment is truly shaping future leaders and creating a positive global impact! 🌟🎓
🔗Read the full story here: news.nus.edu.sg/qs-world-university-rankings-2024-nus-rises-three-places-to-rank-within-global-top-8/
#QSWUR #NUS #NUSExcellence #NUSComputing #EducationExcellence #HigherEducation #GlobalImpact #TopUniversities
Media is too big
VIEW IN TELEGRAM
🎓🔬Prof Bingsheng He, Vice-Dean (Research) at NUS School of Computing, along with academic peers Prof Flora Salim from UNSW in Australia 🇦🇺 and Prof Ken-ichi Kawarabayashi from National Institute of Informatics in Japan 🇯🇵, have collaborated 🤝 with the ACM, Association for Computing Machinery (ACM) to publish a special section on cutting-edge research and innovation in Computer Science 🖥 emerging in East Asia and the Oceania region.
📘🌟The section spans an array of topics from state-of-the-art developments in learning analytics 📊, AI and machine learning 🤖, education 📚, Big Data, neuromorphic computing 💡, and blockchain technology 🔗, to applications in disease prediction 🌡 and assistive devices 🦾.
➡️ Read more here: https://bit.ly/3NBlVLN
🎥 Check out the full video at: vimeo.com/829130560
#ComputerScience #Innovation #Research #NUSExcellence #Meetourfaculty
📘🌟The section spans an array of topics from state-of-the-art developments in learning analytics 📊, AI and machine learning 🤖, education 📚, Big Data, neuromorphic computing 💡, and blockchain technology 🔗, to applications in disease prediction 🌡 and assistive devices 🦾.
➡️ Read more here: https://bit.ly/3NBlVLN
🎥 Check out the full video at: vimeo.com/829130560
#ComputerScience #Innovation #Research #NUSExcellence #Meetourfaculty
We are thrilled to announce our ground-breaking interdisciplinary research program dedicated to tackling the challenges of mis-, dis-, and mal-information (MDM) in today’s digital landscape. 🌐🔍 Led by distinguished Professors Chen Tsuhan and Lee Mong Li, #NUSComputing is collaborating with multiple schools within NUS, forming a powerhouse team to address this critical issue. 🤝
Our mission is to explore the intersection of technology and consumer behavior, working to empower individuals with the tools and knowledge to discern and critically evaluate information. 🧠
Through this initiative, NUS Computing reaffirms its commitment to innovation, academic excellence, and societal impact. We are setting the stage for a future where information empowers and enlightens. Read more here: news.nus.edu.sg/building-digital-information-resilience/
📸 Photo: (L-R) Prof Xiao Xiaokui, Asst Prof Kokil Jaidka, Prof Chen Tsuhan, Prof Lee Mong Li, Prof Wynne Hsu, Prof Robby Tan, Prof Anthony Tung, and Assoc Prof Kan Min-Yen
Our mission is to explore the intersection of technology and consumer behavior, working to empower individuals with the tools and knowledge to discern and critically evaluate information. 🧠
Through this initiative, NUS Computing reaffirms its commitment to innovation, academic excellence, and societal impact. We are setting the stage for a future where information empowers and enlightens. Read more here: news.nus.edu.sg/building-digital-information-resilience/
📸 Photo: (L-R) Prof Xiao Xiaokui, Asst Prof Kokil Jaidka, Prof Chen Tsuhan, Prof Lee Mong Li, Prof Wynne Hsu, Prof Robby Tan, Prof Anthony Tung, and Assoc Prof Kan Min-Yen
🌍 With advanced AI tools🤖, scammers can now mimic voices and create realistic videos to trick unsuspecting victims. 🚨
When interviewed by the Straits Times, #NUSComputing's Associate Professor Terence Sim emphasized the dangers, stating, "When a victim sees a video of a friend or a loved one, he tends to believe that it is real and that they are in need of help. There is an increased level of believability and deception behind such scams." 😧
Additionally, #NUSComputing's Professor Hahn Jungpil in an interview with Lianhe Zaobao, added his insights by saying, "Consumers should generally be more skeptical and vigilant.”
“A certain level of skepticism will help consumers tune into subtle visual and auditory anomalies that may suggest that the content they are seeing is indeed a deepfake.”
ST article📰: https://bit.ly/3NYSa93
LZHB article📰: https://bit.ly/3JOpc9w
#AI #Deepfakes #MeetOurFaculty
When interviewed by the Straits Times, #NUSComputing's Associate Professor Terence Sim emphasized the dangers, stating, "When a victim sees a video of a friend or a loved one, he tends to believe that it is real and that they are in need of help. There is an increased level of believability and deception behind such scams." 😧
Additionally, #NUSComputing's Professor Hahn Jungpil in an interview with Lianhe Zaobao, added his insights by saying, "Consumers should generally be more skeptical and vigilant.”
“A certain level of skepticism will help consumers tune into subtle visual and auditory anomalies that may suggest that the content they are seeing is indeed a deepfake.”
ST article📰: https://bit.ly/3NYSa93
LZHB article📰: https://bit.ly/3JOpc9w
#AI #Deepfakes #MeetOurFaculty
📣 Proud to announce that #NUSComputing's Adjunct Assistant Professor Jingxian Wang 🎓 has won the prestigious ACM SIGMOBILE Doctoral Dissertation Award 🏆 for his standout PhD dissertation thesis, “Blind Wireless Beamforming to Power, Heat, and Move.” 📡⚡️🔥
His multi-domain approach, intertwining AI 🧠, robotics 🤖, materials science 🔬, and wireless computer systems 🖥, has attracted partnerships with industry titans like Microsoft, Bridgestone, and Bosch Singapore 🤝.
Learn more about his impressive work here: www.comp.nus.edu.sg/news/2023-acm-sigmobile-jwang/
#AI #PHD #NUSExcellence #Meetourfaculty
His multi-domain approach, intertwining AI 🧠, robotics 🤖, materials science 🔬, and wireless computer systems 🖥, has attracted partnerships with industry titans like Microsoft, Bridgestone, and Bosch Singapore 🤝.
Learn more about his impressive work here: www.comp.nus.edu.sg/news/2023-acm-sigmobile-jwang/
#AI #PHD #NUSExcellence #Meetourfaculty
🎉 Great news! NUS Computing Provost’s Chair Prof Abhik Roychoudhury & team have been awarded a S$6.7M grant 💰 by the NRF National Cybersecurity R&D Programme.
The team aims to advance fuzz testing tech and detect security vulnerabilities in concurrent, stateful, and reactive software systems. They will strive to make open-source software less susceptible to attacks and enhance the community by fostering academia-industry ties & hosting annual summer schools for students 🎓.
Read more about Prof Abhik and his team's work here: www.comp.nus.edu.sg/news/2023-fuzz-testing-aroychoudhury/
#NUSComputing #Cybersecurity #FuzzTesting #NRF #ResearchGrant
The team aims to advance fuzz testing tech and detect security vulnerabilities in concurrent, stateful, and reactive software systems. They will strive to make open-source software less susceptible to attacks and enhance the community by fostering academia-industry ties & hosting annual summer schools for students 🎓.
Read more about Prof Abhik and his team's work here: www.comp.nus.edu.sg/news/2023-fuzz-testing-aroychoudhury/
#NUSComputing #Cybersecurity #FuzzTesting #NRF #ResearchGrant
Hello everyone! 🎉
We're live at #NUS2023's 🎓 commencement for the School of Computing 💻. Stay tuned 📲 for more pictures 📸 and updates!
You can also watch the #NUSComputing Commencement ceremonies live here 🌐: www.nus.edu.sg/commencement/webcast.html on 13 July (C23, C24) 🗓 and 14 July (C25, C26) 🗓.
#Live #NUSCommencement #Graduation #Congratulations
We're live at #NUS2023's 🎓 commencement for the School of Computing 💻. Stay tuned 📲 for more pictures 📸 and updates!
You can also watch the #NUSComputing Commencement ceremonies live here 🌐: www.nus.edu.sg/commencement/webcast.html on 13 July (C23, C24) 🗓 and 14 July (C25, C26) 🗓.
#Live #NUSCommencement #Graduation #Congratulations
Media is too big
VIEW IN TELEGRAM
Heartiest Congratulations to #NUSComputing’s Class of 2023! You have done us proud, and now it’s time to go out and change the world for the better!
As you embark on the next lap of your journey, here are a few words of encouragement from the dean:
1. Be proud of what you have achieved and believe in yourself
2. Don’t stop learning and acquiring new knowledge even after you leave NUS.
3. Put your newly honed skills to good use, not just for yourself and the industry you will work in, but for the greater good of the community.
4. Stay connected with #NUSComputing. Share your achievements with us and inspire future cohorts of students who will walk the same path as you once did.
Check out the snippet below or the full video here: www.youtube.com/watch?v=uuw4xw0LFuo
As you embark on the next lap of your journey, here are a few words of encouragement from the dean:
1. Be proud of what you have achieved and believe in yourself
2. Don’t stop learning and acquiring new knowledge even after you leave NUS.
3. Put your newly honed skills to good use, not just for yourself and the industry you will work in, but for the greater good of the community.
4. Stay connected with #NUSComputing. Share your achievements with us and inspire future cohorts of students who will walk the same path as you once did.
Check out the snippet below or the full video here: www.youtube.com/watch?v=uuw4xw0LFuo
Presenting our SoC graduates... You've worked hard and congratulations on this glorious milestone! 🎉