| Date |
Time |
Speaker |
Talk Title |
| 2024-11-18 |
12:00 |
Liz Yevdokimov
|
TBA |
| 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 |