23 maja 2023 13:48
Grant NCN dla Martina Böhma
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