Analyzing Models, Code and Training Processes for Deep Learning Assurance
19 May 2023
Speaker: Associate Professor Wei Le
Transformative Innovations Recognized by World's Largest Computing Society
4 May 2023
ACM Software Systems Award goes to Australian team for the first industrial-strength, high-performance operating system to have been the subject of a complete, mechanically-checked proof of full functional correctness.
Hanna Kurniawati to spearhead Autonomous Systems Research in Australia’s space tech
20 Mar 2023
Professor Hanna Kurniawati has been appointed as Professorial Chair for System Autonomy, Intelligence, and Decision Making at Australia’s leading space research centre.
Software needs Watchdogs
17 Mar 2023
Speaker: Professor Tom Henzinger
AI, ML & Friends seminar
2 Mar 2023
You Don’t Know Me—The Need for Personalized Recommendation in Conversational AI Assistants
Computing project sends “open source ambassadors” to GitHub
9 Nov 2022
Project maintainers on the cloud coding site GitHub may have noticed a recent surge in “open source ambassadors” from ANU.
