Search results
9 projects found matching your search criteria:
-
1. Formal verification in data-enriched models of computation
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski
Call: OPUS 28, Panel: ST6
-
2. Counting models in formal verification
Principal investigator: dr Filip Aleksander Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA BIS 12, Panel: ST6
-
3. On the border of impossible in classical automata theory
Principal investigator: dr hab. Paweł Parys
Uniwersytet Warszawski
Call: OPUS 28, Panel: ST6
-
4. Decision Problems for Logics with Weak Forms of Recursion
Principal investigator: Bartosz Jan Bednarczyk
Uniwersytet Wrocławski
Call: PRELUDIUM 23, Panel: ST6
-
5. Frontiers of automatic analysis of concurrent systems
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 21, Panel: ST6
-
6. Data-enriched models of computation
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 18, Panel: ST6
-
7. Quantitative specifications: learning, algorithms and applications
Principal investigator: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 14, Panel: ST6
-
8. Scalable reasoning about concurrent imperative programs
Principal investigator: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: SONATA 12, Panel: ST6
-
9. Symbolic computations on first-order definable objects
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 11, Panel: ST6