AgentM is a database consultant who researches alternatives to SQL due to the belief that software can always be made faster, but rarely more correct.

AgentM is a dabbler in software security, programming language design, and leveraging the Curry-Howard isomorphism in order to promote rethinking what it means to program a computer.