Artykuł, którego autorami są m.in. badacze z Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego, został uhonorowany prestiżową nagrodą EATCS-IPEC Nerode Prize 2023 – poinformował wydział.
Wyróżnienie jest przyznawane za wybitne publikacje w dziedzinie algorytmiki wielu zmiennych.
Artykuł „Solving Connectivity Problems Parameterized by Treewidth in Single Exponential Time” został opublikowany w 2011 roku. Jego autorami są m.in. Marek Cygan, Marcin Pilipczuk, Michał Pilipczuk i Jakub Onufry Wojtaszczyk.
Uzasadnienie przyznania nagrody można przeczytać w mediach społecznościowych Wydziału MIM UW.
Doroczna nagroda jest przyznawana od 2013 r. Jej patron, amerykański matematyk Anil Nerode (ur. w 1932 r.) jest znany z prac nad logiką matematyczną; przez wiele lat był związany z Cornell University.
EATCS (European Association for Theoretical Computer Science) to międzynarodowa organizacja założona w roku 1972, której celem jest ułatwienie wymiany informacji między informatykami oraz rozwój współpracy w tej dziedzinie. EATCS organizuje m.in. międzynarodowe kolokwium poświęcone automatom, językom i programowaniu (ICALP), a także wspiera publikacje monografii i artykułów dotyczących informatyki teoretycznej oraz wydaje czasopismo Theoretical Computer Science.(PAP)
bar/