mathematician interested in logic programming, functional programming, cycling and skate skiing. https://lamyde.me