Hello!
I'm a PhD Researcher at the University of Manchester, investigating ways to mathematically prove the safety and reliability of robots. I'm supervised by Dr. Marie Farrell, Dr. Louise Dennis, and Prof. Michael Fisher, working in the Autonomy and Verification Group.
Previously I worked at Tarides in Paris, developing open-source tooling for the OCaml ecosystem. Before this I studied Computer Science at the University of Cambridge.
I enjoy making computer science more accessible, whether by writing articles, making fun interactive projects, or just rambling to passers-by. You can check out my blog here.
Publications
- Ben M. Andrew. Weakening Goals in Logical Specifications. Rigorous State-Based Methods (ABZ) 2025. Slides.
Professional Activities
- Part of the local organising committee of Integrated Formal Methods (iFM) 2024.
- Member of the Autonomy and Verification Network.
Teaching Experience
University of Cambridge, Supervisor (TA equiv.)
- Hoare Logic and Model Checking (Spring 2024, 2023, 2022)
- Logic and Proof (Winter 2024, 2023, 2022)
- Semantics of Programming Languages (Autumn 2025, 2023)
- Introduction to Graphics (Autumn 2022)
University of Manchester, Graduate Teaching Assistant
- Automated Reasoning and Verification (Semester 2, 2024)
- Logic and Modelling (Semester 1, 2024)
- Mathematical Techniques for Computer Science (Semester 1 & 2, 2024)
Recorded Presentations
- Rendering Geometric Patterns — Tarides, Mar 2024
- Porting OCaml to an ARM microcontroller — Tarides, Aug 2021
- Forward and Deferred Rendering — Churchill College, University of Cambridge, Jan 2021