Bartosz Piotrowski

Bartosz Piotrowski jest postdoc’iem w IDEAS NCBR. Jego badania koncentrują się wokół zastosowań uczenia maszynowego w automatycznym dowodzeniu.