founder @ hellas.ai - verifiable AI (catgrad & ???) - theorem provers (Metacat) - combinatorial syntax for compilers!