News
Event
Workshop on Formal Verification for Stochastic Analysis and Quantitative Finance
A one-day workshop on using formal verification for mathematical research and software engineering, focusing on mathematical and computational methods in quantitative finance.
11th September 2026
Press
Logos Research launches to make AI reasoning trustworthy in high-stakes environments↗
Imperial College London covers our launch from stealth, with perspectives from Prof. Kevin Buzzard, Prof. Johannes Muhle-Karbe, and our investors.
26th May 2026
Press
Why formal verification is the missing infrastructure layer for AI agents↗
Our CEO Cristopher Salvi discusses with SOSV partners Po Bronson and Parikshit Sharma why verified code is the answer to unreliable AI output.
27th April 2026