Logos is building the mathematical infrastructure that makes AI agents logically correct over long horizons, using formal verification to ground LLM-generated code in machine-checked proofs.
| Website | https://www.logosresearch.ai/ |
| Employees | 15 (9 on RocketReach) |
| Industry | Software Development |
Looking for a particular Logos Research employee's phone or email?
Logos Research Questions
Robert Smith is the Chief Technology Officer, Co-Founder of Logos Research.
9 people are employed at Logos Research.
Top Logos Research Employees
-
Zhan Huang
Software Engineer at Logos Research
Cambridge, Cambridgeshire, United Kingdom1 -
Maud Lemercier
AI Research Scientist at Logos Research
United Kingdom2 -
1
-
Krzysztof Kroczak
Software Engineer at Logos Research
Cambridge, Cambridgeshire, United Kingdom2 -
Hannah G.
Software Engineer at Logos Research
United Kingdom -
Tom Klose
Research Scientist at Logos Research
London, England, GB1 -
Arav Bhattacharyya
Research Scientist at Logos Research
England, United Kingdom2
G2Crowd Trusted
300K+
Plugin Users
