Dr hab. Mikołaj Bojańczyk z WMIM UW zdobywcą grantu ERC

Dr hab. Mikołaj Bojańczyk z Wydziału Matematyki, Informatyki i Mechaniki UW znalazł się wśród tegorocznych zdobywców grantów "Starting Independent Researcher Grant" dla młodych naukowców, przyznawanych przez European Research Council (ERC) w konkursie "Ideas". We wniosku złożonym do ERC ubiegał się o prawie 800 tys. euro na 4 lata. Pełną listę rankingową tegorocznych stypendystów oraz wysokość dofinansowania poszczególnych projektów poznamy prawdopodobnie w lipcu. W ubiegłym roku do konkursu zgłoszonych zostało 9 tys. projektów. Wśród nich było 200 wniosków z Polski, żaden nie otrzymał dofinansowania.

Granty ERC dają młodym naukowcom możliwość stworzenia własnej grupy badawczej. Dr hab. Bojańczyk zamierza na początku przyjąć do swojego zespołu dwóch doktorantów z Warszawy, a w każdym kolejnym roku jednego młodego naukowca z zagranicy. Część pieniędzy przeznaczy na sprzęt komputerowy.

Dofinansowany projekt nosi tytuł "Expressive Power of Tree Logics". Zespół dr. hab. Bojańczyka będzie próbował dowodzić twierdzeń na temat zastosowań logiki w informatyce. - Wyobraźmy sobie na przykład, że chcemy by program komputerowy wybrał z dużej bazy danych wszystkie osoby, które grały kiedyś w drużynie piłkarskiej z zawodnikiem pierwszoligowym - tłumaczy naukowiec. - Powyższa własność zawodnika jest sformułowana w normalnym języku, którego współczesny komputer nie potrafi zrozumieć. Komputer potrzebuje sformułowania w bardziej sztywnym języku, a do tego celu świetnie nadaje się logika. W logice pisze się zdania typu "dla zawodnika x istnieje zawodnik y, oraz istnieją drużyny A i B, takie że w drużynie A zawodnicy x, y grali wspólnie, a drużyna B jest pierwszoligowa i grał w niej zawodnik y" - wyjaśnia dalej. - Informatycy próbują opracowywać zrozumiałe dla komputera języki logiczne, które pozwalają wyrażać naturalne własności - dodaje.

Dr hab. Mikołaj Bojańczyk jest adiunktem w Zakładzie Logiki Stosowanej Instytutu Informatyki WMIM UW.

European Research Council (Europejska Rada ds. Badań Naukowych) jest pierwszą ogólnoeuropejską agencją wspierającą finansowo badania typu frontier research (badania pionierskie, poznawcze, prowadzące do fundamentalnych odkryć, przełomowych wyników). Została powołana w 2007 r. przez Komisję Europejską. Działa w ramach unijnego Programu Ramowego na rzecz badań naukowych, dysponującego budżetem w wysokości 7,5 mld euro.