Philosopher and systems engineer. I study proof theory and build experimental logic environments.