About

I am a software engineer. My career started with PHP and JavaScript, but soon I was able to switch to JVM stack and stayed with Java for quite awhile.

Though for the last X years I have been working as a Haskell and PureScript developer.

The most recent trend in my career is studying Roqc proof assistant, originally known as Coq. I hope to generate more reliable Haskell code with the help of Roqc.