# Tudor Achim

Markdown copy of https://realalpha.app/people/tudor-achim/ on Real Alpha, the best minutes from long interviews with the people building AI. Cite and link the page, not this copy.

Real Alpha has cut 4 moments of Tudor Achim (Co-founder & CEO, Harmonic) talking, from an interview on MTS published Oct 31, 2026.

- Role: Co-founder & CEO, Harmonic

## What Tudor Achim said

- [Formal verification proves specific bug classes are absent](https://realalpha.app/s/formal-verification-proves-specific-bug-classes-are-absent/)
  MTS · Oct 31, 2026 · 4 min
  > “But let's say you run an AI system to try to find a bug in your code base and it says, I haven't found a bug.” — Tudor Achim · [5:39](https://realalpha.app/v/FSsg2i4yF_Y/?t=339)
- [C code becomes verifiable by modeling its operations in math](https://realalpha.app/s/c-code-becomes-verifiable-by-modeling-its-operations-in-math/)
  MTS · Oct 31, 2026 · 3 min
  > “So you'd say, okay, well, I access the memory. Okay, let's build a mathematical model of that.” — Tudor Achim · [7:00](https://realalpha.app/v/FSsg2i4yF_Y/?t=420)
- [Critical infrastructure faces bridge-scale cybersecurity risk](https://realalpha.app/s/critical-infrastructure-faces-bridge-scale-cybersecurity/)
  MTS · Oct 31, 2026 · 3 min
  > “I would say that the cybersecurity risk to national infrastructure is about as bad as having damage in every bridge in the country.” — Tudor Achim · [15:05](https://realalpha.app/v/FSsg2i4yF_Y/?t=905)
- [Verification should match the cost of a failure](https://realalpha.app/s/verification-should-match-the-cost-of-a-failure/)
  MTS · Oct 31, 2026 · 2 min
  > “if the worst thing that happens to your code is you just restart your web server, maybe you don't have to verify it.” — Tudor Achim · [10:47](https://realalpha.app/v/FSsg2i4yF_Y/?t=647)

## The episode

- [One Bug Fixes Most C Code Vulnerabilities | Tudor Achim](https://realalpha.app/v/FSsg2i4yF_Y/) · MTS · Oct 31, 2026