Consulting & Collaboration

Consulting

Pretty much anything involving logic, systems, and code. Deploying Formal methods, type theory, compiler design, ML infrastructure, distributed architectures, and whatever else your stack throws at us.

Institutional collaboration

Co-research and co-development with universities, labs, and cultural institutions. We design experiments, co-author papers, and build the tooling around hard problems. We tackle soft problem with hard methods and the reverse.

Verification

Rigorous verification of software and hardware correctness using theorem provers, model checkers, and custom formal tools built for your specific domain.