Bringing mathematical rigour in the world of hardware – a journey into Formal Verification

Bringing mathematical rigour in the world of hardware – a journey into Formal Verification

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

Concrete Solutions: Pioneering Sustainability in Engineering Liz’s Journey from Cambridge PhD to Founder of a Climate-Tech Startup

Dr. Liz Zijing Li shares her journey from academic research at Cambridge to founding Mimicrete, a startup transforming concrete with self-healing technology. She reflects on sustainability, leadership, and innovation in infrastructure.

Read more

Subscribe By Email

Get every new post delivered right to your inbox.

This form is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.