Z przyjemnością informujemy, że w wyniku konkursu Narodowego Centrum Nauki OPUS 16 zakwalifikowane zostały do finansowania dwa projekty zgłoszone przez pracowników naszego Wydziału:
– Wysokowymiarowy rachunek prawdopodobieństwa: asymptotyczne i nieasymptotyczne własności widm macierzy losowych, kierownik dr hab. Ganna Lytova,
– Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i liczebniki, kierownik Prof. Lidia Tendera.
Szczegóły znajdują się na stronie NCN: https://www.ncn.gov.pl/konkursy/wyniki/2019-05-15-opus16-preludium16-sonata14.