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.

My current projects include GenAI training assistant and hierarchical data extraction from free text using LLMs.

I contribute code to open source software, including my tiny projects (collection of RL environments and a Python client to a proof assistant) as well as large and famous ones (Apache Spark and Ray).

I defended a PhD thesis and published papers in AI for automated theorem proving.