Yakov Zaytsev
Using Haskell since 2008
You can ask me about full- or part-time employment
Living in Saint-Petersburg, Russia
About Me
Experienced Haskell programmer with proven track of industrial applications.
Interested in formal verification and zero fault software construction with dependent types.
Have working Coq knowledge