Prof. Krzysztof Diks

Instytut Informatyki, Wydział Matematyki, Informatyki i Mechaniki, Uniwersytet Warszawski

Krzysztof Diks jest profesorem w Instytucie Informatyki Uniwersytetu Warszawskiego, w którym pracuje od początku swojej kariery naukowo-dydaktycznej. Naukowo zajmuje się algorytmiką. Jest współautorem podręcznika akademickiego z algorytmów i struktur danych. Wypromował 10 doktorów. W latach 2005–2015 pełnił funkcję dyrektora Instytutu Informatyki Uniwersytetu Warszawskiego. W latach 2016–2021 pełnił funkcję Przewodniczącego Polskiej Komisji Akredytacyjnej. Profesor Krzysztof Diks jest uznanym popularyzatorem informatyki, w szczególności algorytmiki. Od roku 1994 jest związany z Olimpiadą Informatyczną dla szkół średnich, a od roku 1999 pełni nieprzerwanie funkcję Przewodniczącego Komitetu Głównego Olimpiady Informatycznej (w tym czasie Polacy dwukrotnie wygrywali Międzynarodową Olimpiadę Informatyczną). W roku 2005 zorganizował i przewodniczył Międzynarodowej Olimpiadzie Informatycznej, która miała miejsce w Polsce. Wraz z prof. Janem Madeyem opiekował się drużynami Uniwersytetu Warszawskiego, które dwukrotnie zdobyły tytuł mistrzów świata w programowaniu zespołowym.

ABSTRAKT

Po co nam algorytmy

Algorytm jest centralnym pojęciem informatyki, a algorytmika podstawowym działem dociekań informatyków chcących zrozumieć możliwości i bariery obliczeń komputerowych. W swojej książce „Rzecz o istocie informatyki. Algorytmika”, znakomity izraelski informatyk David Harel napisał – „Algorytmika to więcej niż dział informatyki. Tkwi ona w centrum wszystkich działów informatyki i z całą uczciwością można o niej powiedzieć, że jest ważna dla większości nauk matematyczno-przyrodniczych, ekonomii i techniki”. Informatycy projektują algorytmy by „ujarzmić” komputery do wykonywania obliczeń dla osiągnięcia założonego celu. Według „Słownika języka polskiego PWN” słowo „ujarzmić” oznacza między innymi „zdobyć pełną kontrolę nad czymś niebezpiecznym”. Ostatnie postępy w sztucznej inteligencji, a w szczególności w uczeniu maszynowym pokazują, że być może komputery wymkną nam się spod kontroli i będą zdolne projektować własne algorytmy, których działania nie będziemy nawet w stanie zrozumieć. Czy algorytmika odejdzie do lamusa?