Jan Müller

About Me
Hey! I'm a German senior software engineer living in Vienna. My professional experience is centered around full-stack web development in the sectors of banking and financial technologies. Below, you'll find details about my experience, education, and awards.
As an Open Source enthusiast, I maintain a variety of projects with a focus on web development. My work includes websites, APIs, libraries, mobile apps, and CLIs.
Beyond development, I enjoy cycling, hiking, and photography. A selection of my photos is available in my gallery.
Formi
First-order-logic model checking with interactive graph visualization, real-time validation, and textual input.
Formi is a purely client-side re-implementation of my bachelor thesis. The model checker and parser are published via the @yeger/fol package.




