Nasi naukowcy z grantami NCN

Narodowe Centrum Nauki ogłosiło projekty, które otrzymają finansowanie w programach Preludium i Opus.

Miło nam poinformować, że na liście zwycięskich projektów znajdują się projekty Jana Otopa i Bartosza Bednarczyka z Instytutu Informatyki oraz Tamara Frączek z Instytutu Matematycznego.

Jan Otop otrzymał 784 tys. zł na projekt Synteza poprzez aktywne uczenie się: teoria i zastosowania poświęcony aktywnemu uczeniu się automatów wraz z zastosowaniem do automatycznego generowania kodu w językach opisu sprzętu takich jak Verilog lub VHDL.

Bartosz Jan Bednarczyk otrzymał 64 tys. zł na projekt Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji. Przedmiotem badań będą m.in. problemy spełnialności formuł w różnego rodzaju logikach opisowych będących podstawą współczesnych standaryzowanych języków ontologii, w tym np. OWL 2. Projekt Bartka zajął 𝐩𝐢𝐞𝐫𝐰𝐬𝐳𝐞 𝐦𝐢𝐞𝐣𝐬𝐜𝐞 na liście rankingowej panelu ST6 w konkursie Preludium!

Tamara Frączek otrzymała 138 tys. zł na projekt Ekstrema fragmentacji ze wzrostem i pokrewnych procesów poświęcony badaniu procesów rozpadu obiektów na mniejsze fragmenty w miarę upływu czasu np. fragmentacja skorupy ziemskiej podczas trzęsienia ziemi czy fragmentacja DNA.