Departmental Seminar: “Formal Methods at Industrial Scale, Before and After AI” by Dr Claudia Cauli, Principal Research Engineer, Huawei R&D
| Dates: | 10 June 2026 |
|---|
| Times: | 14:00 - 15:00 |
|---|
| What is it: | Seminar |
|---|
| Organiser: | Department of Computer Science |
|---|
| How much: | Free |
|---|
| Who is it for: | University staff, Current University students |
|---|
| Speaker: | Dr Claudia Cauli |
|---|
|
Over the past two years, my team at Huawei Cloud has applied formal methods to production cloud infrastructure. We deployed model checking, deductive verification, and SMT encodings, within model-based and code-level approaches, to establish the correctness of a distributed key-value store, a global server load balancer, IAM security analyses, and a BPF static validator. Across these projects, we prevented critical bugs from reaching production, improved the performance of a security feature, and discovered high-severity low-level bugs. In this talk, I'll walk through what worked and what didn't, and share both personal experience and concrete data, reflecting on what I think the AI revolution means for FM engineering as a research agenda and where interesting open problems now sit.
Speaker
Dr Claudia Cauli
Role: Principal Research Engineer
Organisation: Huawei R&D
Biography: Dr Claudia Cauli is a Principal Research Engineer at Huawei R&D, where she leads the Formal Methods team in the Cloud Reliability Lab, driving the strategic adoption of formal verification across Huawei Cloud infrastructure. Before Huawei, she was an Applied Scientist in the Automated Reasoning Group at AWS. She holds a PhD from the University of Gothenburg on logics for cloud infrastructure verification.
Travel and Contact Information
Find event
Kilburn_TH 1.3
Kilburn Building
Manchester
