32:03

Prof. Peter Sewell | Big Specification Organisation and Adoption: Successes, Failures, Risks, and...

31:18

Dr. Andreas Rossberg | Safety First: WebAssembly as a Formally Specified Universal Compute Platform

24:43

Dr. Ralf Jung | Using Formal Methods to keep Unsafe Rust in Check

27:55

Dr. Matthew Parkinson | Securing Microsoft's Code

27:28

Dr. Ekaterina Komendantskaya | Neural Network Verification as a Programming Language Challenge

29:48

Prof. Byron Cook | Proof at AWS

24:33

Dr. June Andronick | seL4: Formally Verified Software Protects Deployed Critical Systems from...

26:10

Dr. Leonardo de Moura | From Z3 to Lean, Efficient Verification

29:33

Mr. Michael Tautschnig | Challenges in Analysing Virtualisation Stacks

32:35

Prof. Thomas Hales | New Challenges with Large Proofs in the wake of the Formal Proof

27:40

Dr. Tom Melham | At-scale Formal Verification for Industrial Semiconductor Designs

27:13

Dr. Mateja Jamnik | Can Machines Think Like Humans?

19:15

Dr. Sofia Guerra | Precision Under Pressure: The Growing Role of Formal Specifications in Shaping...

39:26

Prof. Denis Bartolo | Active Hydraulics

46:51

Prof. Daniel Goldman | Life at Low Coasting Number

40:15

Prof. Eva Kanso | Spontaneous Transitions in Fish Schools

40:23

Prof. Benno Liebchen | Active Particles Learning Functionalities

36:23

Dr. Daniel Hodgson | ECFP: At the Interface of Academia and Industry

48:32

Prof. David Grier | Take It For a Spin: Emergent Activity and Precision Metrology Powered by Sound

38:53

Mr. Paul Clegg | Pushing the Boundaries of Foams and Emulsions

37:51

Prof. Daeyeon Lee | Effect of Extreme Nanoconfinement on Polymer Dynamics,Thermodynamics &Mechanics

33:00

Dr. Patrick Warren | Non-local Colloidal Diffusiophoresis in Crossed Salt Gradients

40:05

Prof. René van Roij | Circuits of Microfluidic Memristors: Computing with Aqueous Electrolytes

37:32

Prof. Monica Olvera de la Cruz | Dynamics of Ions in Confinement

36:16

Prof. Lyderic Bocquet | Nanofluidics and Fluid Transport on Excitable Surfaces

38:17

Assoc. Prof. Ada Altieri | Unveiling the Diversity-Stability Bound in Large Ecological Communities

37:53

Dr. William Jacobs | Designing Multiphasic Materials

39:31

Dr. Yael Avni | Statistical Physics of Multicomponent Systems with Non-Reciprocal Interactions

43:15

Prof. Francoise Brochard-Wyart | Bursting of Condensates

51:21

Prof. Michael Assaf | Phase Transition and Ergodicity Breaking During Avian Foraging

34:21

Dr. Paola Arrubarrena Tame | Anomaly Detection in Radio Astronomy Data

47:24

Dr. Rainer Klages | Constructing Anomalous Stochastic Models of Sea Turtle Foraging, Cell...

42:31

Prof. Ulrich Keyser | Out-of-Equilibrium Transport Measurements Through Nanopores Reveals Velocity..

46:58

Prof. Nir Gov | Random Cell Migration on Linear Tracks and Networks

53:59

Prof. Terry Lyons | Dimensionless Approaches to Identifying Anomalous Streams with Rough Path...

23:53

Dr. Ruth Chapman | Economic Assessments of Vaccines; Challenges for Modelling

16:12

Mr. Robert Felstead | UKRI Tackling Infections (Virtual Talk)

25:42

Prof. Marc Lipsitch | Everything Keeps Changing! Lessons from COVID-19 about Surveillance and...

18:09

Dr. Arminder Deol | G7’s 100 Days Mission for Vaccines

31:08

Mrs. So Yoon Sim | Translating Vaccine Impact Modelling to Support Evidence-Informed Immunization...

39:58

Dr. Elizabeth Hunke | Modelling Approaches to Address Sea Ice Complexity

38:42

Prof. Cecilia Bitz | What Sea Ice Physics is Missing from Models?

52:02

Dr. Dirk Notz | What do Climate Models need Sea Ice for?

22:55

Prof. Daniel Feltham | Introduction to Sea Ice Climate Models

36:19

Mrs. Deirdre Gribbin | Hearing Your Genes Evolve

30:47

Prof. Chris Sangwin | On Form and Function in Board Games

33:18

Prof. Christopher Budd | Mathematical Approaches to Toys

34:31

Mr. Graham Hazel | Form and Shape for Lighting Virtual Worlds

33:51

Prof. Schönlieb & Mrs Panayotova | Re-Constructing Illuminated Manuscripts and Paintings

35:12

Prof. Raymond Goldstein | Growth and Form: From Stalactites to Ponytails

30:52

Mr. Peter Fretwell | Imaging Whales from Space

25:01

Dr. Mark Bray | Computational Challenges for Long Range Imaging

24:00

Dr. Roger Noble | Validating Machine Learning Models Visually with Zegami

38:33

Dr. Andrew Curtis | Nonlinear Tomography

36:57

Mr. Alexandre Gramfort | Statistical Machine Learning and Optimisation Challenges...

47:36

Prof. Richard Wilkinson | Multilevel and Multi-Fidelity Methods

47:47

Dr. Aretha Teckentrup | Uncertainty Quantification in Inverse Problems

42:21

Mr. Andrew Haslett | Making Business Decisions under Uncertainty

36:54

Prof. David Woods | Design of Computational & Physical Experiments for Uncertainty Quantification

45:30

Prof. Max Gunzburger | Surrogate Modelling