You've reached the site of Bartosz Piotrowski -- a PhD student doing
research on applying machine learning to automated reasoning.

Email: bartoszpiotrowski@post.pl