23 maja 2023 13:48

Projekt naukowy Martina Böhma uzyskał finansowanie w ramach konkursu SONATA rozstrzygniętego właśnie przez Narodowe Centrum Nauki. Temat projektu to "Moc rozgałęzień i uczenia problemów szeregowania zadań oraz pakowania kubełków online", a przyznana kwota dofinansowania wynosi ponad 264 tysiące złotych.

Martin uzyskał tytuł doktora we wrześniu 2018 r. na Uniwersytecie Karola w Pradze.  Od lipca 2020 roku pracuje w Zakładzie Optymalizacji Kombinatorycznej w Instytucie Informatyki we Wrocławiu po pobycie podoktorskim w Bremie w Niemczech.

Jednym z celów projektu jest wykorzystanie programów wyszukujących, które dają weryfikowalne wyniki teoretyczne dla dla obliczeń online. Takie podejście ma sens, ponieważ istnieją głębokie powiązania między teorią obliczeń online a teorią gier dwuosobowych, a komputery coraz lepiej radzą sobie z oceną gier dwuosobowych, takich jak szachy czy Go.

Streszczenie popularnonaukowe można przeczytać tutaj

Martin Boehm