Personal Information
Organization / Workplace
Berlin Area, Germany Germany
Occupation
Engineer at SoundCloud
Industry
Technology / Software / Internet
Website
About
I state and prove theorems in constructive logic every day. I also speak λ calculus (yes, that is a Y combinator on my hand).
Contact Details
