Informace o projektu
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 22
(SKOMU)
- Kód projektu
- MUNI/A/1230/2021
- Období řešení
- 1/2022 - 12/2022
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Specifický výzkum - podpora studentských projektů
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- 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.
Cíle udržitelného rozvoje
Masarykova univerzita se hlásí k cílům udržitelného rozvoje OSN, jejichž záměrem je do roku 2030 zlepšit podmínky a kvalitu života na naší planetě.
Publikace
Počet publikací: 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), rok: 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, rok: 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, rok: 2022
-
“They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks
43rd IEEE Symposium on Security and Privacy, rok: 2022
-
Twin-Width and Transductions of Proper k-Mixed-Thin Graphs
WG 2022: Graph-Theoretic Concepts in Computer Science, rok: 2022
-
Usability Insights from Establishing TLS Connections
IFIP International Conference on ICT Systems Security and Privacy Protection, rok: 2022
-
Vivern – A Virtual Environment for Multiscale Visualization and Modeling of DNA Nanostructures
IEEE Transactions on Visualization and Computer Graphics, rok: 2022, ročník: 28, vydání: 12, DOI
-
Weighted Model Counting with Twin-Width
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), rok: 2022