John Lång is a software developer with a passion for statically typed purely functional programming, program semantics, and verification. They have experience as a software engineer at Metosin and Contravariant, and currently serve as a Senior Software Engineer at G+D Netcetera. John also contributed as a software developer for the KIOS NGO and held various positions at CERN, including Technical Student and Summer Student, where they published their first peer-reviewed article. They hold both a Bachelor's and a Master's degree in Computer Science from the University of Helsinki.
Location
Espoo, Finland
This person is not in the org chart
This person is not in any offices