Team

Logos Laboratories is built on deep expertise in logic, formal verification, and machine learning.

Founder

Benjamin Brast-McKie

Founder & Principal Researcher

Benjamin is a logician specializing in hyperintensional semantics and automated reasoning. He developed the Logos over the past ten years to provide a formal language of thought for AI systems to be trained to master. The Logos includes a rich collection of logical operators for systematic reasoning with tense, modal, causal, counterfactual conditional, and constitutive explanatory operators. A plugin system extends the Logos for specialized applications including epistemic, normative, free choice, spatial, and agential operators. His vision is to build AI systems that produce verified reasoning in an interpreted language for advanced applications in industry and science that can be trusted.

Credentials

  • D.Phil in Philosophy, University of Oxford
  • B.Phil in Philosophy, University of Oxford
  • Stalnaker Postdoctoral Associate, MIT
  • Publications in Journal of Philosophical Logic
Website GitHub

We Are Hiring

We are building a team of researchers, engineers, and domain experts who are passionate about formal reasoning and building trustworthy AI systems that can be applied throughout industry and the sciences.

Formal Logicians

Expertise in modal, temporal, epistemic, or normative logic. Experience with Lean 4 or similar proof assistants a plus.

ML/RL Engineers

Experience with reinforcement learning from formal feedback signals. NLP and formal language processing background valued.

Systems Engineers

Build scalable infrastructure for proof generation, model checking, and training data pipelines.

Domain Experts

Specialists in healthcare, legal, financial, or autonomous systems who can bridge formal reasoning with real-world applications.

Get in Touch