1 grudnia 2025 18:26
Grant FWF dla Bartosza Bednarczyka
Bartosz Bednarczyk z naszego instytutu zdobywcą grantu Austrian Science Fund (FWF). Jego projekt "FINGO: Finite Graph Operating Automata Meet Dynamic Logics" będzie realizowany na Politechnice Wiedeńskiej ale Bartek zostaje na Uniwersytecie Wrocławskim na część etatu. Wartość projektu: 346.5 tys. euro, czas trwania 3 lata.
Logiki dynamiczne (w szczególności PDL oraz rachunek Mi) to dobrze znane, od lat 70., popularne formalizmy służące do weryfikacji programów komputerowych. Choć problem spełnialności — w którym, mając daną formułę logiki, pytamy, czy istnieje system lub baza danych, które ją spełniają — jest szeroko zbadany, nadal brakuje skutecznych technik do radzenia sobie z problemem skończonej spełnialności (gdzie dodatkowo wymagamy, aby rozpatrywany system lub baza danych miały skończoną liczbę elementów). Celem projektu jest zaproponowanie nowych metod rozwiązywania tego problemu, opartych na pojęciach automatów operujących na skończonych grafach.
Gratulacje!
