
Bartosz Naskręcki
Profesor i badacz matematyki (geometria algebraiczna), prodziekan Wydziału Matematyki i Informatyki UAM w Poznaniu; uczestnik projektu FrontierMath badającego możliwości modeli językowych w rozumowaniu matematycznym oraz działający w obszarze formalizacji i weryfikacji dowodów.



