I am Mr. Mathiesen (Ramón Soto Mathiesen), a passionate datalogist, with flair for functional programming languages and business, that advocates for correctness, quality and high-standards but, always with the customer in mind.

I'm is currently working for my own company SPISE MISU ApS: “Stay Pure, Isolating Side-Effects, while Making Illegal States Unrepresentable”, where it seems that I have discovered my Holy Grail in SAFE Haskell.

Author of Uniprocess and Λ-gent, among others.