Tactical Motion at the Speed of Thought
Tactix exists because every coach has seen something in their head that they couldn't get out of their mouth. Draw a run. Watch it move with mathematical precision. No keyframes. No approximation. Just what you saw, exactly as you saw it.
The team comes from New York Red Bulls and Cedar Stars academies, U.S. Soccer national programming, and formal methods research at Boston University — a collaboration between Questrom School of Business and Computing & Data Sciences. We built the tool we wished existed when we were on the pitch.
Background
Our team brings experience from New York Red Bulls and Cedar Stars academy systems, USSDA national programming, and formal methods research at Boston University. A cross-disciplinary collaboration between Questrom School of Business and Computing & Data Sciences.
Engineering
Every player movement is mathematically proven before it reaches the screen. Not tested — proven. The same verification standard used in safety-critical systems. Every position, every path, every transition: formally verified.
C⁰
Motion continuity
60+
Frames per second
0
Unproven theorems
From a rainy night in Stoke to the World Cup final, the game demands precision. Tactix is built to match it.