About

Hi there! I’m a functional & logic programming enthusiast. Currently, I work as a Consultant and Founder. Besides I’m organising the [Idris | Scala | Lambda] user groups Düsseldorf.

Talks

Date Venue Location Talk
2018-03-22 Lambda Meetup Düsseldorf, GER Black magic type witchcraft
video
2017-11-20 Lambda Meetup Munich, GER Refinement Types in Idris
code
2017-10-27 Lambda.World Cádiz, ESP Typelevel SEO with Idris
slides - code
2017-07-06 Scala Meetup Malaga, ESP ADTs and Typeclasses
slides
2017-05-30 Scala Meetup Düsseldorf, GER Opinionated Scala
slides
2016-02-17 Idris Meetup Düsseldorf, GER Type-calculating functions
code
2016-10-12 Scala Meetup Düsseldorf, GER ADTs and Typeclasses
slides
2016-04-19 Open Data Congress 2016 Berlin, GER Presentation of plasmap
2016-03-18 Codecentric Tech Friday Solingen, GER plasmap - Akka Streams, Akka HTTP, Scala.js
2015-12-17 Scala Meetup Cologne, GER plasmap - Akka Streams, Akka HTTP, Scala.js