Projekty finansowane przez NCN

Konstruowanie specyfikacji i weryfikacja oprogramowania

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Modele, języki i systemy do prowadzenia niezawodnych i łatwo skalowalnych obliczeń rozproszonych

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Jacek Sroka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatyzacja wnioskowania konstruktywnego

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Aleksy Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Konkurs: HARMONIA 3 , panel: ST6

Kierownik: dr hab. Paweł Wojciechowski

Politechnika Poznańska, Wydział Informatyki

Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr Małgorzata Biernacka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Asferyczny model atomu - odkrywanie nowych metod udokładniania struktur materiałów częściowo nieuporządkowanych

Konkurs: OPUS 22 (LAP) , panel: ST5

Kierownik: dr hab. Wojciech Sławiński

Uniwersytet Warszawski, Wydział Chemii

Entropia probabilistyczna w obliczeniach inżynierskich

Konkurs: OPUS 21 , panel: ST8

Kierownik: prof. Marcin Kamiński

Politechnika Łódzka, Wydział Budownictwa, Architektury i Inżynierii Środowiska

Reprezentacja kodu programów dla identyfikacji wadliwych fragmentów kodu bazująca na uczeniu maszynowym

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr Mirosław Ochodek

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Algorytmy przetwarzania danych tekstowych

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr hab. Sebastian Deorowicz

Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

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 Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Kompletność zdarzeniowa przypadków użycia

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: dr Jakub Jurkiewicz

Politechnika Poznańska, Wydział Informatyki

Język programowania dla hierarchicznych, wielordzeniowych, równoległych architektur z użyciem ManyDSL

Konkurs: PRELUDIUM 12 , panel: ST6

Kierownik: Piotr Danilewski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki