Location: Samara, RU

Remote: yes

Willing to relocate: yes!!!

Technologies: Haskell / FP / C / POSIX / some client-side web

Résumé/CV: http://lelf.lu/resume

Email: me@lelf.lu

My areas are: functional programming, applied math, C + POSIX, client-side web. Recently I started to be very interested in Coq & dependent types.