Wyniki wyszukiwania
Znaleziono 2 projekty spełniających kryteria wyszukiwania:
-
1. Problem separacji w teorii automatów
Kierownik: dr Wojciech Karol Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 11, panel: ST6
-
2. Skalowalne metody wnioskowania o imperatywnych programach współbieżnych
Kierownik: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 12, panel: ST6