Real Alpha
Try Pro free

Guest

Tudor Achim

Co-founder & CEO, Harmonic

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

What Tudor Achim said

  1. MTS ·

    One Bug Fixes Most C Code Vulnerabilities | Tudor Achim

    4 moments · 12 min

    1. 2:41

      Formal verification proves specific bug classes are absent

      “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.”
      at 5:39
    2. 6:24

      C code becomes verifiable by modeling its operations in math

      “So you'd say, okay, well, I access the memory. Okay, let's build a mathematical model of that.”
      at 7:00
    3. 13:09

      Critical infrastructure faces bridge-scale cybersecurity risk

      “I would say that the cybersecurity risk to national infrastructure is about as bad as having damage in every bridge in the country.”
      at 15:05
    4. 10:22

      Verification should match the cost of a failure

      “if the worst thing that happens to your code is you just restart your web server, maybe you don't have to verify it.”
      at 10:47

Is this you? Add the badge to your site.

It links to this page, where people can watch every moment we cut from your interviews. It fits a personal site, a link-in-bio page or a press page.

Featured on Real Alpha
PNG

Wrong title or photo? Tell us and we'll fix it