Uniwersytet Wrocławski

Do 16 marca można ubiegać się o stypendium w ramach projektu OPUS ,,Klasyczne problemy w teorii automatów skończonych: nowe podejścia, warianty i zastosowania'', kierowanego przez dr. Marka Szykułę z Instytutu Informatyki. Projekt przewiduje stypendia dla dwóch osób - doktorantów lub studentów studiów magisterskich na naszym wydziale.

Prowadzone badania dotyczyć będą problemów i zastosowań związanych z automatami skończonymi, w szczególności:
(a) badania słów unikających (nowe podejście do hipotezy Černý'ego);
(b) badania wariantów problemu uniwersalności języka;
(c) rozwój języka opisu gier opartego na automatach skończonych i językach regularnych (prace teoretyczno-implementacyjne).

Więcej szczegółów można znaleźć w załączonym pliku.