Project information
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VIII.
- Project Identification
- MUNI/A/1018/2018
- Project Period
- 1/2019 - 12/2019
- Investor / Pogramme / Project type
-
Masaryk University
- Grant Agency of Masaryk University
- Category A
- MU Faculty or unit
-
Faculty of Informatics
- prof. RNDr. Mojmír Křetínský, CSc.
- prof. RNDr. Jiří Barnat, Ph.D.
- RNDr. Jaroslav Bendík, Ph.D.
- doc. RNDr. Tomáš Brázdil, Ph.D.
- prof. RNDr. Luboš Brim, CSc.
- Onur Cagirici, M.Sc., Ph.D.
- prof. RNDr. Ivana Černá, CSc.
- RNDr. Martin Demko, Ph.D.
- RNDr. Zuzana Ferková, Ph.D.
- doc. RNDr. Eva Hladká, Ph.D.
- prof. RNDr. Petr Hliněný, Ph.D.
- doc. RNDr. Aleš Horák, Ph.D.
- RNDr. Marek Chalupa, Ph.D.
- RNDr. Martin Jonáš, Ph.D.
- RNDr. David Klaška
- prof. RNDr. Michal Kozubek, Ph.D.
- prof. RNDr. Daniel Kráľ, Ph.D., DSc.
- prof. RNDr. Antonín Kučera, Ph.D.
- doc. RNDr. Pavel Matula, Ph.D.
- doc. RNDr. Petr Matula, Ph.D.
- prof. RNDr. Luděk Matyska, CSc.
- RNDr. Tereza Nečasová
- prof. PhDr. Karel Pala, CSc.
- RNDr. Samuel Pastva, Ph.D.
- doc. Mgr. Radek Pelánek, Ph.D.
- doc. RNDr. Lubomír Popelínský, Ph.D.
- RNDr. Tomáš Raček, Ph.D.
- RNDr. Lukáš Ručka
- doc. Mgr. Hana Rudová, Ph.D.
- doc. Mgr. Pavel Rychlý, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- RNDr. Vít Suchomel, Ph.D.
- doc. RNDr. David Svoboda, Ph.D.
- RNDr. Vladimír Štill, Ph.D.
- RNDr. Bc. Dominik Velan, Ph.D.
- RNDr. Michal Zima
Projekt je zaměřen na podporu vědecko-výzkumné a vývojové činnosti studentů doktorského a magisterského studia na FI MU, kteří jsou vedeni zejména těmi školiteli, kteří se účastnili řešení stejnojmenných projektů specifického výzkumu v letech 2010 až 2018. Zaměření navrhovaného projektu na uvedené a úspěšně řešené projekty navazuje a dále ji rozšiřuje a prohlubuje o perspektivní a originální směry výzkumu tak, aby došlo k dalšímu rozvoji VaV činnosti zúčastněných studentů a dle zaměření i k synergii s výzkumem v centru CERIT. Jedná se o výzkum a vývoj v oblastech použití formálních metod při modelování, analýze a verifikaci systémů: klasických a zejména stochastických systémů i nekonečně stavových, komplexních a softwarově intenzivních systémů, robotických systémů, komunikačních protokolů a dalších, přírodně motivovaných systémů, zejména biologických a fyzikálních (kvantové výpočty a analýzy jejich vlastností). Další související oblastí je analýza medicínského obrazu, včetně nově vyvíjených metod analýzy s pomocí HW a/nebo SW prostředků. Výzkum v těchto oblastech je na aplikační úrovni často provázán na využívání rozsáhlých výpočetních systémů (například typu cloud atp.) a moderních paralelních architektur, zejména typu CUDA, GPGPU (General Purpose Graphic Processing Unit) a many-core GPU. Další popis projektu je strukturován dle jednotlivých oblastí tak, jak byly právě uvedeny a po obsahové stránce jsou specifikovány níže v části "Odborná charakteristika projektu". V oblastech uvedených pod označeními A až M pracují tito školitelé - akademičtí zaměstnanci FI MU: A: prof. RNDr. Jiří Barnat, Ph.D.; B: prof. RNDr. Luboš Brim, CSc.; C: prof. RNDr. Ivana Černá, CSc.; D: prof. RNDr. Jozef Gruska, DrSc., doc. RNDr. Jan Bouda, Ph.D.; E: prof. RNDr. Petr Hliněný, Ph.D. prof. RNDr. Daniel Kráľ, Ph.D.,DSc; F: prof. RNDr. Michal Kozubek, Ph.D., doc. RNDr. Pavel Matula, Ph.D., doc. RNDr. Petr Matula, Ph.D., doc. RNDr. David Svoboda, Ph.D.; G: prof. RNDr. Mojmír Křetínský, CSc., doc. RNDr. Jan Strejček, Ph.D.; H: prof. RNDr. Antonín Kučera, Ph.D., doc. RNDr. Tomáš Brázdil, Ph.D. doc. Mgr. Jan Obdržálek, Ph.D.; I: prof. RNDr. Luděk Matyska, CSc., doc. RNDr. Eva Hladká, Ph.D.; J: doc. Mgr. Radek Pelánek, Ph.D.; K: doc. Mgr. Hana Rudová, Ph.D.; L: prof. PhDr. Karel Pala, CSc., doc. RNDr. Aleš Horák, Ph.D., doc. Mgr. Pavel Rychlý, Ph.D.; M: doc. RNDr. Luboš Popelínský, CSc.
Publications
Total number of publications: 43
2019
-
First Steps in Recognizing Relational Entailment – Experimental Corpus and Baselines
Human Language Technologies as a Challenge for Computer Science and Linguistics – 2019, year: 2019
-
Flexible workflows for on-the-fly electron-microscopy single-particle image processing using Scipion
Acta Crystallographica Section D, year: 2019, volume: 75, edition: 10, DOI
-
FO model checking on geometric graphs
Computational geometry, year: 2019, volume: 78, edition: 1, DOI
-
Item Ordering Biases in Educational Data
International Conference on Artificial Intelligence in Education, year: 2019
-
Local Nontermination Detection for Parallel C++ Programs
International Conference on Software Engineering and Formal Methods, year: 2019
-
LTL to Smaller Self-Loop Alternating Automata and Back
Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings, year: 2019
-
ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, year: 2019
-
Measuring Difficulty of Introductory Programming Tasks
Proceedings of the Sixth (2019) ACM Conference on Learning @ Scale (L@S '19), year: 2019
-
Measuring Students’ Performance on Programming Tasks
Proceedings of the Sixth (2019) ACM Conference on Learning @ Scale (L@S '19), year: 2019
-
Model Checking Approach to the Analysis of Biological Systems
Automated Reasoning for Systems Biology and Medicine, year: 2019, number of pages: 33 s.