Projekty finansowane przez NCN

Kategoryczne podstawy nieklasyczności natury

Konkurs: OPUS 21 , panel: ST2

Kierownik: dr John Harry Selby

Uniwersytet Gdański, Międzynarodowe Centrum Teorii Technologii Kwantowych

Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne

Konkurs: OPUS 17 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Efekty algebraiczne: kompozycja i koindukcja

Konkurs: SONATA 14 , panel: ST6

Kierownik: dr Maciej Adam Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmy optymalizacji odpornej dla problemów z niepewnymi danymi

Konkurs: SONATA 13 , panel: ST6

Kierownik: dr Maciej Drwal

Politechnika Wrocławska

Pamięć operacyjna i przetwarzanie leksykalne w tłumaczeniu konferencyjnym

Konkurs: OPUS 6 , panel: HS6

Kierownik: dr Agnieszka Chmiel

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki

Sterowanie współbieżnością i odporność na awarie dla rozproszonej pamięci transakcyjnej

Konkurs: HARMONIA 3 , panel: ST6

Kierownik: dr hab. Paweł Tomasz Wojciechowski

Politechnika Poznańska, Wydział Informatyki