Accelerate productivity by creating and refining statistical models at a rapid pace.
Minimize risk with high-assurance software, from blockchain to trading systems.
Emphasize safety through robust software supported by thorough static analysis.
We'll make it real.
We push the envelope of AI applications with advanced methods like Gaussian models and Bayesian inference.
We are adept at formulating the problem in both probabilistic and algebraic terms and reasoning multimodally.
Our PL theory expertise lets us build tools with guaranteed correctness and reliability.