Olle Härstedt

Hanover, Germany

Working at Bitmotion. Interested in formal verification and such.