Projects search

• Principal investigator: Jakub Dawid Michaliszyn ×

Change search criteria ↓

Search results

3 projects found matching your search criteria:

1. 1. Robust Formalisms for Quantitative Reasoning

   Principal investigator: dr Jakub Dawid Michaliszyn

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 20, Panel: ST6

2. 2. Logics for data analysis and verification

   Principal investigator: dr Jakub Dawid Michaliszyn

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: SONATA 8, Panel: ST6

3. 3. Around Modal Logics - Decidability and Complexity

   Principal investigator: Jakub Dawid Michaliszyn

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: PRELUDIUM 2, Panel: ST6