Bartosz Piotrowski

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