Hi, I am Erik 👋 Gimle Labs is my spare-time research project, a place for me to scratch my itch when it comes to dynamical systems, proof theory and machine learning.
The name "Gimle" comes from old Norse mythology, meaning the high and bright home - the last refuge of light and beauty, the only light to survive Ragnarok and the only hope of a new dawn after the world has descended into darkness.
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. If you are interested in the backstory, you can read more on The Origin Story page.
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. You can read more about the vision and technical approach in the What is Gimle? section.