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.
This person is not in the org chart
This person is not in any teams
This person is not in any offices