Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 23
(SKOMU23)
- Project Identification
- MUNI/A/1433/2022
- Project Period
- 1/2023 - 12/2023
- 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.
- doc. RNDr. Barbora Kozlíková, Ph.D.
- prof. RNDr. Daniel Kráľ, Ph.D., DSc.
- prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
- prof. RNDr. Antonín Kučera, Ph.D.
- prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
- doc. RNDr. Petr Sojka, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- prof. PhDr. David Šmahel, 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 jsou složité 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: 19
2024
-
FREAS: Forensic-Ready Analysis Suite
Year: 2024
-
Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
International Conference on Runtime Verification, year: 2024
-
Monitizer: Automating Design and Evaluation of Neural Network Monitors
Computer Aided Verification, year: 2024
2023
-
A Case Study on the Impact of Forensic-Ready Information Systems on the Security Posture
Advanced Information Systems Engineering, year: 2023
-
Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions
34th International Conference on Concurrency Theory (CONCUR 2023), year: 2023
-
Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties
Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, year: 2023
-
Classification of Adolescents' Risky Behavior in Instant Messaging Conversations
26th International Conference on Artificial Intelligence and Statistics, AISTATS 2023, year: 2023
-
Guessing Winning Policies in LTL Synthesis by Semantic Learning
Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings, Part I, year: 2023
-
Mean Payoff Optimization for Systems of Periodic Service and Maintenance
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, year: 2023
-
Optical Cryptanalysis: Recovering Cryptographic Keys from Power LED Light Fluctuations
30th ACM Conference on Computer and Communications Security (CCS'2023), year: 2023