From Maths to Formal Verification: Finding a Home in Logic, Problem-Solving and Hardware Design

From Maths to Formal Verification: Finding a Home in Logic, Problem-Solving and Hardware Design

How does a Mathematics degree lead to a career in Formal Verification?

Robert Simpson shares how a passion for logic and problem-solving took him from Cambridge to Axiomise, where rigorous reasoning helps ensure the correctness of the hardware powering modern technology.

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.