Znamy tegorocznych laureatów konkursu dla najlepszych młodych naukowców
Dr Marcin Bieńkowski z Instytutu
Informatyki Uniwersytetu Wrocławskiego i dr Mikołaj Bojańczyk z
Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu
Warszawskiego zostali laureatami tegorocznej Nagrody im. Witolda
Lipskiego dla najlepszych młodych naukowców za dorobek naukowy w
zakresie informatyki i jej zastosowań.
Dwie równorzędne nagrody wysokości 7500 zł zostaną przyznane 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ą szereg problemów z zakresu algorytmiki i teorii złożoności motywowanych praktycznymi zastosowaniami między innymi w zarządzaniu danymi w sieciach dynamicznych, czy 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 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.