Mario Brcic
Strategy Engines · Cognitive Sovereignty · Value Alignment
I build Strategy Engines for high-stakes decisions.
Tools that help leaders decide well when the stakes are high and the ground keeps shifting. Research and writing on AI, alignment, and the contest over who, or what, really sets the agenda.
The Cognitive Sovereignty Trilogy
Three essays. One argument about power, AI, and who's really in charge.
Open projects
A textbook and a library, built on one idea: say precisely what must hold, then check it.
A textbook
Modern Algorithm Design
Design algorithms from primitives, and know what to demand of them.
A textbook on designing algorithms from reusable primitives, and on asking precisely for what an algorithm must do.
See the project →
An open Lean library
AI Safety Formalization Atlas
The open Lean library for formal AI-safety results.
An open Lean 4 library of machine-checked AI-safety mathematics, with every result’s source and scope on record.
See the project →The research
What can AI actually decide for us, and what can it never decide, no matter how big the model? Three threads run through the work:
- Where AI hits hard limits
- How to read what's going on inside large models
- How AI shifts power, often quietly
The practice
Associate Professor atFER, University of Zagreb. Managing Partner atIt From Bit, where the research turns into advisory work for executives and public-sector decision-makers.
Background, papers, and full bio on theabout page.
Practice areasWorking on a high-stakes decision?
If your team is sitting on something important and uncertain, the contact page reaches me directly.
Get in touch