This interview presents the first steps of Robert Simpson, a Maths graduate who found an unexpected, but natural home in Formal Verification (FV) at Axiomise. Drawn by a desire to apply rigorous logic to real-world problems, he shares how abstract mathematical thinking translates into ensuring hardware correctness at the silicon level. From the excitement of spotting elusive bugs missed by traditional methods to collaborating with experts on complex designs, Robert reflects on the mindset, surprises, and rewards of working in a field that blends philosophy, engineering, and detective work—revealing how precise reasoning can have a tangible impact on the technology that shapes our world. Read more
Bringing mathematical rigour in the world of hardware – a journey into Formal Verification




