Justus Sagemüller

Registered user since Tue 14 Aug 2018

Name: Justus Sagemüller

Bio: Maths PhD student, 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.

Country: Norway

Affiliation: Western Norway University of Applied Sciences

Personal website: https://github.com/leftaroundabout

Research interests: Physics, Numerics of differential equations, Topology, Music theory


FHPNC 2019 Author of Lazy Evaluation in Infinite-Dimensional Function Spaces with Wavelet Basis within the FHPNC-track
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