Registered user since Tue 14 Aug 2018
Name: Justus Sagemüller
Bio: Geophysicist, Haskell hacker and musician.
Always in search of ways to bridge the gaps between these disciplines – in particular, bringing nice constructive, well-typed FP techniques to physics.
I’m currently writing a master’s thesis on the magnetic field of Neptune.
Affiliation: Universität zu Köln, Institut für Geophysik und Meteorologie
Personal website: https://github.com/leftaroundabout
Research interests: Physics, Numerics of differential equations, Topology, Music theory
|FARM 2018||Author of (Ab)using a monadic screen-presentation EDSL as a just-intonation synth pad controller within the FARM 2018-track|
|NPFL 2018||Author of Manifolds as Haskell types within the NPFL 2018-track|
|Show activities from other conferences|
View general profile