Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 20
(SKOMU)
- Project Identification
- MUNI/A/1076/2019
- Project Period
- 1/2020 - 12/2020
- Investor / Pogramme / Project type
-
Masaryk University
- Grant Agency of Masaryk University
- Category A
- MU Faculty or unit
-
Faculty of Informatics
- prof. RNDr. Petr Hliněný, Ph.D.
- RNDr. Deniz Agaoglu Cagirici
- RNDr. Jaroslav Bendík, Ph.D.
- prof. RNDr. Luboš Brim, CSc.
- Onur Cagirici, M.Sc., Ph.D.
- Jacob Cooper, Ph.D.
- prof. RNDr. Ivana Černá, CSc.
- RNDr. Tomáš Effenberger, Ph.D.
- RNDr. Marek Chalupa, Ph.D.
- RNDr. Adam Janovský
- RNDr. David Klaška
- doc. RNDr. Barbora Kozlíková, Ph.D.
- prof. RNDr. Daniel Kráľ, Ph.D., DSc.
- prof. RNDr. Antonín Kučera, Ph.D.
- prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
- RNDr. Samuel Pastva, Ph.D.
- doc. Mgr. Radek Pelánek, Ph.D.
- RNDr. Filip Pokrývka
- RNDr. Kristína Pšorn Zákopčanová
- doc. RNDr. Vojtěch Řehák, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- RNDr. Valdemar Švábenský, Ph.D.
- RNDr. Pavol Ulbrich
- Mgr. Jiří Vahala
- RNDr. Petr Velan, Ph.D.
Každoročně někteří z nejlepších doktorských a také i magisterských studentů Fakulty informatiky dosahují přijetí svých původních vědeckých příspěvků na některé z prestižních výběrových mezinárodních konferencí. Tyto vítané úspěchy jsou na jednu stranu dokladem kvalitní vědecké výchovy na naší fakultě, ale také na druhou stranu kladou velké nároky na finanční zajištění vyžadované účasti autorů na zmíněných konferencích. Každoročně předkládaný projekt je zaměřen právě na podporu aktivní účasti doktorských a magisterských studentů FI na takových vysoce špičkových informatických konferencích a také na podporu jejich vědecké přípravy k tomuto cíli. Podporovaná vědecká příprava studentů zahrnuje jejich aktivní účast na kvalitních tematicky zaměřených mezinárodních odborných školách, možnost podpory odůvodněné dlouhodobé mezinárodní mobility doktorských studentů FI a také krátkodobé zvané přednáškově-výzkumné pobyty vybraných zahraničních odborníků na Fakultě informatiky.
Sustainable Development Goals
Masaryk University is committed to the UN Sustainable Development Goals, which aim to improve the conditions and quality of life on our planet by 2030.
Publications
Total number of publications: 34
2020
-
KYPO4INDUSTRY: A Testbed for Teaching Cybersecurity of Industrial Control Systems
Proceedings of the 51st ACM Technical Symposium on Computer Science Education (SIGCSE '20), year: 2020
-
Matrices of optimal tree-depth and a row-invariant parameterized algorithm for integer programming
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), p. "26:1"-"26:19", 19 pp. 2020., year: 2020
-
MUST: Minimal Unsatisfiable Subsets Enumeration Tool
Tools and Algorithms for the Construction and Analysis of Systems, year: 2020
-
On Symbolic Execution of Decompiled Programs
Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020, year: 2020
-
Parallel parameter synthesis algorithm for hybrid CTL
Science of Computer Programming, year: 2020, volume: 185, edition: 102321, DOI
-
Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications.
Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314, year: 2020
-
Replication-Guided Enumeration of Minimal Unsatisfiable Subsets
26th International Conference on Principles and Practice of Constraint Programming, year: 2020
-
Rotation Based MSS/MCS Enumeration
LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, year: 2020
-
Smart Grids Data Analysis: A Systematic Mapping Study
IEEE Transactions on Industrial Informatics, year: 2020, volume: 16, edition: 6, DOI
-
The Art of Reproducible Machine Learning: A Survey of Methodology in Word Vector Experiments
Proceedings of the Fourteenth Workshop on Recent Advances in Slavonic Natural Language Processing, RASLAN 2020, year: 2020