Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 22
(SKOMU)
- Project Identification
- MUNI/A/1230/2021
- Project Period
- 1/2022 - 12/2022
- Investor / Pogramme / Project type
-
Masaryk University
- Specific research - support for student projects
- MU Faculty or unit
-
Faculty of Informatics
- prof. RNDr. Petr Hliněný, Ph.D.
- doc. Ing. RNDr. Barbora Bühnová, Ph.D.
- RNDr. Jan Byška, Ph.D.
- 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.
- doc. Mgr. Radek Pelánek, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- doc. RNDr. David Svoboda, Ph.D.
Každoročně mnozí 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, podporu 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: 18
2022
-
Process Mining Analysis of Puzzle-Based Cybersecurity Training
Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1 (ITiCSE '22), year: 2022
-
Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, year: 2022
-
Symbiotic-Witch: A Klee-Based Violation Witness Checker
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, year: 2022
-
“They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks
43rd IEEE Symposium on Security and Privacy, year: 2022
-
Twin-Width and Transductions of Proper k-Mixed-Thin Graphs
WG 2022: Graph-Theoretic Concepts in Computer Science, year: 2022
-
Usability Insights from Establishing TLS Connections
IFIP International Conference on ICT Systems Security and Privacy Protection, year: 2022
-
Vivern – A Virtual Environment for Multiscale Visualization and Modeling of DNA Nanostructures
IEEE Transactions on Visualization and Computer Graphics, year: 2022, volume: 28, edition: 12, DOI
-
Weighted Model Counting with Twin-Width
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), year: 2022