Ben M. Andrew

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

  • Counterexample-Guided Interval Weakening
    Ben M. Andrew, Louise A. Dennis, Michael Fisher, Marie Farrell
    Rigorous State-Based Methods (ABZ) 2026
    To Appear
  • Weakening Goals in Logical Specifications
    Ben M. Andrew
    Rigorous State-Based Methods (ABZ) 2025
    DOI: 10.1007/978-3-031-94533-5_22
More details in publications.

Professional Activities

Teaching Experience

University of Cambridge, Supervisor (TA equiv.)

  • Hoare Logic and Model Checking 2022–Present
  • Logic and Proof 2022–Present
  • Semantics of Programming Languages 2023
  • Introduction to Graphics 2022, 2025

University of Manchester, Graduate Teaching Assistant

  • Software Engineering 2026
  • Automated Reasoning and Verification 2025
  • Logic and Modelling 2024
  • Mathematical Techniques for Computer Science 2024–2025

Recorded Presentations