| Date |
Time |
Speaker |
Talk Title |
| 2025-12-15 |
12:00 |
Jonathan Weinberger
|
Universes in simplicial type theory |
| 2025-11-03 |
12:00 |
Charlie Roberts
|
Creating languages for creativity |
| 2025-10-29 |
15:00 |
Arjun Sharma
|
Towards LTL-PeAR: Augmenting Binary Rewriting with Correspondence Assertions (ASC project presentation) |
| 2025-10-27 |
12:00 |
Myria Sarvay
|
Building an Infrastructure for pi-calculus with Distinctions |
| 2025-10-22 |
16:30 |
Weiyou Wang
|
On the Way Towards Justness (PhD Final Presentation) |
| 2025-10-20 |
12:00 |
Siyuan Zhou
|
The PCP Theorem |
| 2025-10-09 |
12:15 |
Sasha Pak
|
A Verified Thread-Safe Array in Rust (IWACO Practice Talk) |
| 2025-09-29 |
12:00 |
Sigfrido D. Ciletti
|
A zero-one law for modal logic S4 |
| 2025-09-19 |
15:00 |
Yasaswini Jyothi Gownivaripalli (ANU)
|
Confirmation of Candidature: Reconsidering Malloc |
| 2025-09-08 |
12:00 |
Zara Hassan
|
Final PhD Presentation: Reproducibility Debt in Scientific Software |
| 2025-09-01 |
12:00 |
Florrie Verity
|
Homotopy Type Theory: Models and Modalities |
| 2025-08-25 |
13:00 |
Sigfrido D. Ciletti
|
Solomonoff Induction from Foundations to Prediction |
| 2025-08-18 |
12:00 |
Tiange Liu
|
Open Bisimilarity for the π-calculus with Mismatch |
| 2025-08-04 |
12:00 |
Wenyu Zhao
|
High-throughput Low-latency Garbage Collection: From Abstraction to Production - PhD Final Presentation |
| 2025-07-28 |
12:00 |
Ranald Clouston
|
Semantical Analysis of Intuitionistic Modal Logics between CK and IK |
| 2025-07-21 |
12:00 |
Qiang Liu
|
Towards Full-Lifecycle Security Enforcement of Hypervisors |
| 2025-07-14 |
12:00 |
Zixian Cai
|
Optimizing Across the Stack: From Software to Near-Memory Acceleration (PhD Final Presentation) |
| 2025-07-07 |
12:00 |
Alex Potanin
|
Quantum Verification |
| 2025-06-30 |
12:00 |
Sigfrido D. Ciletti
|
Asymptotic Enumeration of Partially Ordered Sets |
| 2025-06-10 |
11:00 |
Sasha Pak
|
Confirmation of Candidature: View Types in Rust |
| 2025-04-14 |
12:00 |
Florrie Verity
|
PhD Final Presentation: Fibred models of crisp type theory and Kripke-Joyal forcing |
| 2025-03-24 |
12:00 |
Geoff Sutcliffe
|
The TPTP World - Infrastructure for Automated Reasoning |
| 2025-02-24 |
12:00 |
Jack Stodart
|
Confirmation of Candidature: Extending Automatic Software Verifiers with Interactive Proofs |
| 2025-02-10 |
12:00 |
Eric Hall
|
Confirmation of Candidature: Formal Verification of Convolutional Codes and Turbo Codes |
| 2024-11-18 |
12:00 |
Liz Yevdokimov
|
Investigating Linearisability and the Rely/Guarantee Approach with the Treiber Stack |
| 2024-11-04 |
12:00 |
Matthew Richards, Alex Mirrlees-Black, and Matthew Gates
|
Student Project Presentations |
| 2024-10-21 |
12:00 |
Jonte Deakin
|
Weak and Strong Bi-Intuitionistic Logics From an Abstract Algebraic Logic Perspective |
| 2024-10-14 |
12:00 |
Gary Miller
|
Schema Languages: A Microcosm of Cognitive and Language-Theoretical Issues in Programming Language Design |
| 2024-09-30 |
12:00 |
Peter Baumgartner
|
Probabilistic Logic Programming with Fusemate: Main Ideas and Recent Developments |
| 2024-09-09 |
12:00 |
Haibo Zhang
|
Improving TCP Performance by Speeding Up Slow-Start |
| 2024-09-02 |
12:00 |
Sri AravindaKrishnan Thyagarajan
|
Cryptography Meets Game Theory: A Match For Fair Exchange |
| 2024-08-26 |
12:00 |
Eric Hall
|
Formal Verification of Convolutional Codes |
| 2024-08-12 |
12:00 |
Jesse Laeuchli
|
Quantum Methods for Remote Memory Attestation |
| 2024-08-05 |
12:00 |
Dr. Rolando Trujillo
|
Is Eve nearby? Analysing protocols under the distant-attacker assumption |
| 2024-07-29 |
12:00 |
Hayley Patton
|
Reinvestigating typed assembly language and the garbage collection interface |
| 2024-07-26 |
10:00 |
Timothy Bourke
|
Scheduling and compiling rate-synchronous programs with end-to-end latency constraints |
| 2024-06-24 |
12:00 |
Weiyou Wang
|
Synchrons -- A component-based interpretation of transitions in the operational semantics of process algebras |
| 2024-06-21 |
11:00 |
Vineet Rajani
|
Graded modal types for quantitative analysis of higher-order probabilistic programs |
| 2024-06-17 |
12:00 |
Jack Stodart
|
Automatic-ish Verification with Viper |
| 2024-06-03 |
12:00 |
Peter Oslington
|
Fuzzing performance of the PeAR static binary rewriting tool |
| 2024-05-20 |
12:00 |
Manish Gupta
|
The Transformative Power of AI and Open Challenges |
| 2024-05-17 |
15:00 |
Jeremy Singer
|
Stop that Hacker! CHERI for Hardware-Enforced Runtime Memory Safety |
| 2024-05-13 |
12:00 |
Jonte Deakin
|
Conditional Logic Beyond Distributivity |
| 2024-04-29 |
12:00 |
Geoff Huston
|
BGP in 2023 |
| 2024-04-22 |
12:00 |
Kunal Sareen
|
Memory Management on Mobile Devices |
| 2024-04-15 |
12:00 |
Raheleh Jalali
|
On the Completeness of Interpolation Procedures |
| 2024-03-25 |
12:00 |
Xinyu Zheng
|
Persistence by Reachability in Rust |
| 2024-03-18 |
12:00 |
Zara Hassan
|
Reproducibility Debt In Scientific Software: Challenges and Future Pathways |
| 2024-03-04 |
12:00 |
Tingfeng Yu
|
Security and Anonymity in Instant Messaging |
| 2024-02-19 |
12:00 |
Palak
|
Machine-Checked Cryptography |
| 2024-02-12 |
12:00 |
Vidushi Liyanaarachchi
|
Formal Verification of the Correctness of Software Transactional Memory |
| 2023-11-20 |
12:00 |
Stephen Kell
|
How debuggable is your (compiler-optimised) program? |
| 2023-11-13 |
12:00 |
Florrie Verity
|
Who cares about modal type theory? |
| 2023-11-10 |
11:00 |
Stewart Webb
|
Adapting the Pony language onto the seL4 microkernel - In search of a capability-focused microkernel programming interface |
| 2023-10-30 |
12:00 |
Noah Gorrell
|
Constructing the p-adic numbers in HOL4 |
| 2023-10-16 |
12:00 |
Gary Miller
|
Modelling the Fitness of a System of Languages |
| 2023-10-09 |
12:00 |
Claire Huang
|
Improving Garbage Collection Observability with Performance Tracing |
| 2023-09-18 |
12:00 |
Iman Shames
|
Verifying the uncountable: LTL verification in continuous-time |
| 2023-09-11 |
12:00 |
Xiaoyu Sun
|
Taming reflection and native: essential steps toward whole-program analysis of android apps |
| 2023-09-04 |
12:00 |
Tiange Liu
|
Modal Logics for Mobile Processes Revisited |
| 2023-08-21 |
12:00 |
Steve Reeves
|
A logic for veracity |
| 2023-08-14 |
12:00 |
Xiang (Jenny) Ren
|
Relational Debugging - Pinpointing Root Causes of Performance Problems |
| 2023-08-07 |
12:00 |
Amos Robinson
|
Pipit: verifying reactive systems in F* |
| 2023-07-24 |
12:00 |
Alex Potanin
|
Program Synthesis with Higher Order Specifications |