Alan Turing's 1936 paper, "On Computable Numbers, with an application to the Entscheidungsproblem," is widely regarded as the foundation of computer science 💻.
Many assume that the paper was intended as an abstract model of human computation aimed at solving David Hilbert's decision problem, but this may not be the case.
In his talk "The Logical Route to the Turing Machine" held at #NUSComputing, NUS Visiting Professor Peter Millican from the University of Oxford will explore a fresh perspective on Turing's work and the fascinating intersection between mathematics, logic, and computing.
⏰ Time & 🏫 Venue
4 April 2023, 10:30am - 12:30pm (GMT +8)
Multi-purpose Hall(MPH)
COM3 11 Research Link Singapore
119391 Singapore
➡️ Register here: shorturl.at/svBV8
#NUSComputing #AI #AlanTuring #ComputerScience #UniversityofOxford #Computing
Many assume that the paper was intended as an abstract model of human computation aimed at solving David Hilbert's decision problem, but this may not be the case.
In his talk "The Logical Route to the Turing Machine" held at #NUSComputing, NUS Visiting Professor Peter Millican from the University of Oxford will explore a fresh perspective on Turing's work and the fascinating intersection between mathematics, logic, and computing.
⏰ Time & 🏫 Venue
4 April 2023, 10:30am - 12:30pm (GMT +8)
Multi-purpose Hall(MPH)
COM3 11 Research Link Singapore
119391 Singapore
➡️ Register here: shorturl.at/svBV8
#NUSComputing #AI #AlanTuring #ComputerScience #UniversityofOxford #Computing
📢 Broaden your horizons and open new doors with a postgraduate degree from #NUSComputing Asia's no.1 institution for computer science and technology.
Ranked #6 worldwide, #NUSComputing is a premier tertiary institution and is world-renowned for its focus on innovation, research, and scientific rigour. 🔬💡🌟
Join our 1 July 2023 information session to learn more about our academic programmes taught by leading experts in the field and scholarship opportunities. 📚🎓💡
Register here: blog.nus.edu.sg/progbriefing/2023/04/10/nus-computing-postgraduate-information-session2023/ 💻📝📆
#NUSComputing #ComputerScience #InformationSystems #Postgraduate #HigherEducation #StudyInSingapore #InfoSession #TechEducation #FutureLeaders
Ranked #6 worldwide, #NUSComputing is a premier tertiary institution and is world-renowned for its focus on innovation, research, and scientific rigour. 🔬💡🌟
Join our 1 July 2023 information session to learn more about our academic programmes taught by leading experts in the field and scholarship opportunities. 📚🎓💡
Register here: blog.nus.edu.sg/progbriefing/2023/04/10/nus-computing-postgraduate-information-session2023/ 💻📝📆
#NUSComputing #ComputerScience #InformationSystems #Postgraduate #HigherEducation #StudyInSingapore #InfoSession #TechEducation #FutureLeaders
🎉👩🏫 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🔍
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