![Professor Carroll Morgan](/events/2023/09/06/correctness-by-construction-for-probabilistic-programs/carroll-2.png)
Correctness by Construction for Probabilistic Programs
6 Sep 2023
Professor Carroll Morgan
![Tom Williams](/events/2023/07/25/secret-agents-the-real-and-imagined-inner-lives-of-interactive-robots/tom-williams.jpg)
Secret Agents: The Real and Imagined Inner Lives of Interactive Robots
25 Jul 2023
Associate Professor Tom Williams
![Dick Sites](/events/2023/07/17/making-the-invisible-visible-observing-complex-software-dynamics/sites.png)
Making the Invisible Visible—Observing Complex Software Dynamics
17 Jul 2023
Dick Sites
![Professor Matthew Hahn](/events/2023/06/19/dealing-with-discordance-in-the-tree-of-life/hahn3.png)
Dealing with Discordance in the Tree of Life
19 Jun 2023
Professor Matthew Hahn
![Denis Bauer](/events/2023/06/06/how-cloud-computing-has-changes-research-and-collaborations/bauer_family_815_resize.jpeg)
How cloud computing has changed research and collaborations
6 Jun 2023
Dr Denis Bauer
![Associate Professor Wei Le](/events/2023/05/19/analyzing-models-code-and-training-processes-for-deep-learning-assurance/wei-le3.png)
Analyzing Models, Code and Training Processes for Deep Learning Assurance
19 May 2023
Associate Professor Wei Le
![Professor Tom Henzinger](/events/2023/03/17/software-needs-watchdogs-professor-tom-henzinger-ista-austria/henzinger.jpeg)
Software needs Watchdogs
17 Mar 2023
Professor Tom Henzinger
![Photo by DeepMind on Unsplash](/events/2023/03/02/ai-ml-friends-seminar/deepmind-8hereyc6zt0-unsplash.jpg)
You Don’t Know Me—The Need for Personalized Recommendation in Conversational AI Assistants
2 Mar 2023
Dr. Scott Sanner
![ANU Computing Showcase](/events/2022/10/27/anu-computing-showcase/anu_computing_showcase_0.jpg)
ANU Computing Showcase
27 Oct 2022
Where innovative ideas and tech solutions meet.