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 Marie Farrell, Louise Dennis, and Michael Fisher, working in the Autonomy and Verification Group.
Previously I worked at Tarides in Paris, developing open-source tooling for the OCaml ecosystem.
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. To Appear. Slides.
Professional Activities
- Part of the local organising committee of the 19th International Conference on Integrated Formal Methods 2024.
- Member of the Autonomy and Verification Network.
Teaching Experience
University of Manchester, Graduate Teaching Assistant
- Automated Reasoning and Verification (2024)
- Logic and Modelling (2024)
- Mathematical Techniques for Computer Science (2024)
University of Cambridge, Supervisor (TA equiv.)