Projekt dr. hab. Mikołaja Bojańczyka z Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego, dotyczący zastosowań logiki w informatyce otrzymał europejski grant badawczy przeznaczony dla młodych naukowców w ramach konkursu "Ideas". Grant opiewa na kwotę niemal 800 tysięcy euro i jest rozpisany na 4 lata.
Grant ERC daje młodemu naukowcowi możliwość stworzenia własnej grupy badawczej, m.in. zatrudniania stypendystów z całego świata. Dr Bojańczyk planuje, że zatrudni dwóch doktorantów z Warszawy oraz - w każdym roku - jednego młodego naukowca (wkrótce po doktoracie) z zagranicy. Temat jego grantu jest matematyczny (to tzw. informatyka teoretyczna, która jest gałęzią matematyki).
W ramach projektu - wyjaśnia naukowiec - będziemy próbowali dowodzić twierdzeń na temat zastosowań logiki w informatyce.
Mikołaj Bojańczyk poza doktoratem - wyróżnionym w roku 2005 Nagrodą im. Ackermanna przez European Association for Computer Science Logic - jest też autorem lub współautorem wielu prac opublikowanych w międzynarodowych czasopismach naukowych oraz prezentowanych i publikowanych na międzynarodowych konferencjach. Jego zainteresowania badawcze dotyczą ogólnie logiki w informatyce, a zwłaszcza teorii automatów. (PAP)