4 grudnia 2024 17:22
Granty NCN dla Jana Otopa i Bartosza Bednarczyka
Narodowe Centrum Nauki ogłosiło dzisiaj laureatów konkursów grantowych Opus i Preludium. Finansowanie otrzymały dwa projekty naukowców z Instytutu Informatyki UWr.
- 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 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ął pierwsze miejsce na liście rankingowej panelu ST6 w konkursie Preludium!
