Hi, I am Erik 👋 Gimle Labs is currently my side-quest research project, a place for me to scratch my itch when it comes to dynamical systems, proof theory and machine learning.
The project represents over 20 years of thinking and development, starting from my PhD work on formal reasoning about dynamical systems and computer programs, through my time in investment banking, to my most recent work in LLMs and agentic reasoning.
This project is driven by the belief that the next frontier of computing will be breakthroughs in how we simulate and reason about physical systems, giving computers the ability to autonomously reason about the physical world.