Tudor Achim is co-founder and CEO of Harmonic, building verifiable AI reasoning and mathematical intelligence. Previously, he co-founded Helm.ai and served as CTO, working on perception for autonomous navigation. Earlier, he was a staff software engineer at Quora, where he started the machine-learning team and worked on ranking and recommendations. He studied computer science at Carnegie Mellon and undertook doctoral research in theoretical machine learning at Stanford; his doctoral studies are on leave.