I am a student at the university of Oxford interested in functional programming, gpgpu, and category theoretic computing. Right now I am working at Jotron AS building a new air traffic control safety application.