Nagrody dla najlepszych informatyków

Dwie równorzędne nagrody wysokości 7500 zł zostaną wręczone 6 października na Wydziale Matematyki, Informatyki i Mechaniki UW.

Dr Marcin Bieńkowski uzyskał doktorat na Wydziale Elektrotechniki, Informatyki i Matematyki Uniwersytetu w Paderborn. Jest autorem lub współautorem kilkunastu prac naukowych.

"Jego zainteresowania i wyniki naukowe obejmują wiele problemów z zakresu algorytmiki i teorii złożoności, motywowanych praktycznymi zastosowaniami, między innymi w zarządzaniu danymi w sieciach dynamicznych lub równoważenia obciążenia w sieciach" - informuje na stronie konkursu Rada Nagrody.

W uzasadnieniu podano, że "potrafi on świetnie tworzyć dobre modele matematyczne dla ważnych problemów praktycznych i uzyskiwać bardzo głębokie, trudne techniczne i praktycznie użyteczne wyniki tych modeli dotyczące".

Drugi z nagrodzonych dr Mikołaj Bojańczyk w ubiegłym roku został wyróżniony przez European Association for Computer Science Logic Nagrodą im. Ackermanna. Jest autorem lub współautorem wielu prac naukowych.

Interesuje się logiką w informatyce, a zwłaszcza teorią automatów. "Jego wyniki naukowe obejmują zarówno rozwiązanie znanych problemów otwartych - przede wszystkim określenie siły obliczeniowej automatów ścieżkowych na drzewach, (...) jak i rozwinięcie nowych pojęć, istotnie wzbogacających metody formalne w weryfikacji programów, jak m.in. automaty przetwarzające dane i automaty z warunkami ilościowymi" - informuje Rada Nagrody.

Do tegorocznej edycji  Nagrody im. Witolda Lipskiego dla najlepszych młodych naukowców zgłoszono 9 kandydatów, którzy reprezentują różne dziedziny informatyki.

Nagroda została ustanowiona przez Fundację Rozwoju Informatyki i Polskie Stowarzyszenie dla Maszyn Liczących, popiera ją Polskie Towarzystwo Informatyczne. Upamiętnia zmarłego w 1985 roku młodego polskiego matematyka Witolda Lipskiego, który zajmował się m.in. kombinatoryką, teorią wyszukiwania informacji i geometrii obliczeniowej

Źródło: http://www.naukawpolsce.pl/nauka/