About me / contact

I am Anton Lorenzen, a student of mathematics attending the University of Bonn. I publish some stuff on Github and I like Project Euler. I sometimes go to seminars and then publish a summary in German for my debating society. I am currently interested in:

  • Type theory and theorem proving (Lean, Agda)
  • Functional programming in Haskell
  • Web/app programming (.NET Core/F#, Flutter, Reflex)
  • Algorithms, discrete maths, algorithmic game theory
  • Debating and Negotiating
  • Developmental psychology
  • Techno/House music

You can contact me under: *my github user name* @posteo.de