Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Justus Sagemüller

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.

Country: Germany

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

Contributions

FARM 2018Author of (Ab)using a monadic screen-presentation EDSL as a just-intonation synth pad controller within the FARM 2018-track
NPFL 2018Author of Manifolds as Haskell types within the NPFL 2018-track
Show activities from other conferences

ICFP 2018-profile
View general profile