Hi! My name is Boris. I’m a machine learning and big data professional with 15+ years of experience. Please see my CV or find me at the LinkedIn.

I defended my PhD thesis in AI application to automated theorem proving. My research projects included

• a collection of Gymnasium environments for automated provers
• a Python client to Isabelle proof assistant server

You can find my publication list here.

I’ve also contributed to Apache Spark and Ray.