Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 10 projektów spełniających kryteria wyszukiwania:
-
Weryfikacja formalna w modelach obliczeń rozszerzonych o dane
Konkurs: OPUS 28 , panel: ST6
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski
-
Na granicy niemożliwego w klasycznej teorii automatów
Konkurs: OPUS 28 , panel: ST6
Kierownik: dr hab. Paweł Parys
Uniwersytet Warszawski
-
Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji
Konkurs: PRELUDIUM 23 , panel: ST6
Kierownik: Bartosz Jan Bednarczyk
Uniwersytet Wrocławski
-
Modele obliczeniowe w formalnej weryfikacji
Konkurs: SONATA BIS 12 , panel: ST6
Kierownik: dr Filip Aleksander Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Granice automatycznej analizy systemów współbieżnych
Konkurs: OPUS 21 , panel: ST6
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Modele obliczeń rozszerzone o dane
Konkurs: OPUS 18 , panel: ST6
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania
Konkurs: OPUS 14 , panel: ST6
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
-
Skalowalne metody wnioskowania o imperatywnych programach współbieżnych
Konkurs: SONATA 12 , panel: ST6
Kierownik: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
-
Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu
Konkurs: OPUS 11 , panel: ST6
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych
Konkurs: OPUS 5 , panel: ST6
Kierownik: dr hab. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki