← All startups
Harmonic
Harmonic is leading the development of Mathematical Superintelligence (MSI), having already developed a system that achieves 90% on MiniF2F, the top formal mathematics benchmark. Harmonic was founded by Robinhood CEO Vlad Tenev and Helm.ai co-founder Tudor Achim.
Latest round$120.0M · Series CNov 26, 2025
Team28
NameLocationLinksContact
Vlad Tenev
Co-founder
—
—
Vicki Cheung
VP of Engineering
—
—
Vikram Shanker
Head Of Strategy
Stanford, California, United States
—
Yury Kudryashov
Formalization Lead
College Station, Texas, United States
—
Zizhuang Yang
Member of Technical Staff
San Bruno, California, United States
—
Aidan Swope
Researcher
Santa Clara, California, United States
—
Alex Meiburg
Research Engineer
—
—
Alex Ren
Investor
San Francisco Bay Area
—
Andres Arroyo
Talent Operations Specialist
—
—
Avi Asherov
Technical Recruiter
Tel Aviv District, Israel
—
Christopher Hughes
Research Engineer
London, England, United Kingdom
—
Eric Rodriguez Boidi
Research Engineer
London, England, United Kingdom
—
Hari Sowrirajan
Research Engineer
—
—
Holly Mandel
Research Engineer
San Francisco, California, United States
—
Jan Hammer
Board Observer
London, England, United Kingdom
—
Jessica Kuo
Recruiter
Austin, Texas, United States
—
Jonathan Thomm
Researcher
San Francisco, California, United States
—
Kirsten Henningsgard
Recruiting
San Francisco, California, United States
—
Kornel Csernai
Software Engineer
Mountain View, California, United States
—
Laura Scharff
Software Engineer
Mountain View, California, United States
—
Mark Kim
Investor
Stanford, California, United States
—
Martin Michelsen
Software Engineer
—
—
Mohamed Siddeek
Investor
San Francisco Bay Area
—
Petar Maksimovic
Research Engineer
London, England, United Kingdom
—
Satnam Singh
Software engineer
Los Altos, California, United States
—
Scott Liao
Software Engineer
—
—
Vedant Gupta
Research Engineer
—
—
Jakob V.
Research Engineer
—
—