15 czerwca 2026 13:18
Granty NCN dla Piotra Ostropolskiego-Nalewai oraz Krzysztofa Sornata
Narodowe Centrum Nauki ogłosiło laureatów konkursu grantowych. W konkursie OPUS30 dofinansowanie w wysokości 1,3 mln zł otrzymał projekt Piotra Ostropolskiego-Nalewai pt. "Szturm w głębiny: Wiele Hipotez i Otwartych Problemów Symbolicznej SI". W konkursie SONATA21 pierwsze miejsce zajął projekt Krzysztofa Sornata „Optymalizacja Kombinatoryczna dla Kolektywnego Wyboru Obiektów”. Wysokość dofinansowania wyniesie 1,2 mln zł.
Projekt Piotra bada fundamentalne zagadnienia leżące u podstaw symbolicznej sztucznej inteligencji – gałęzi AI opartej na logice, formalnym rozumowaniu oraz precyzyjnych modelach matematycznych, stojących w naturalnym przeciwieństwie do metod uczenia maszynowego. Jego głównym celem jest lepsze zrozumienie granic automatycznego wnioskowania: tego, jakie rodzaje wiedzy mogą być reprezentowane w sposób formalny oraz które pytania mogą być rozstrzygane przez algorytmy w sposób niezawodny i przewidywalny.
Projekt Krzysztofa dotyczy algorytmicznych aspektów podejmowania decyzji zbiorowych, w szczególności sytuacji, w których na podstawie preferencji wielu uczestników należy wybrać nie pojedynczego zwycięzcę, ale cały zbiór obiektów — np. komitet, zestaw projektów w budżecie obywatelskim, grupę rekomendowanych elementów albo walidatorów w systemach blockchain. Badania będą łączyć narzędzia obliczeniowej teorii wyboru społecznego i optymalizacji kombinatorycznej. Celem projektu jest zrozumienie, jakie gwarancje sprawiedliwości, proporcjonalności, odporności i jakości rozwiązań można pogodzić z wydajnością obliczeniową.
Piotr Ostropolski-Nalewaja obronił doktorat na Uniwersytecie Wrocławskim w 2024. Odbył staż na Politechnice w Dreźnie, a obecnie jest pracownikiem naszego instytutu. Jest laureatem Nagrody Lipskiego oraz stypendium Start Fundacji na Rzecz Nauki Polskiej.
Krzysztof Sornat obronił pracę doktorską na Uniwersytecie Wrocławskim w 2019 roku. W ostatnim czasie odbywał staże i pracował m.in. na IDSIA, MIT, Uniwersytecie Ben-Guriona oraz AGH. Jest laureatem stypendium Start Fundacji na Rzecz Nauki Polskiej. Projekt będzie realizował na Uniwersytecie Wrocławskim.
Wyniki konkurów znajdują się na stronie NCN.
