Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 25
- Project Identification
- MUNI/A/1666/2024
- Project Period
- 1/2025 - 12/2025
- 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.
- prof. RNDr. Jiří Barnat, Ph.D.
- doc. RNDr. Barbora Kozlíková, Ph.D.
- prof. RNDr. Michal Kozubek, Ph.D.
- prof. RNDr. Daniel Kráľ, Ph.D., DSc.
- Priv.-Doz. Dipl.-Ing. Dr. Simone Kriglstein
- prof. RNDr. Antonín Kučera, Ph.D.
- doc. RNDr. Vojtěch Řehák, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- doc. RNDr. Petr Švenda, Ph.D.
Zapojení do mezinárodní vědecké spolupráce je klíčové pro akademický rozvoj studentů FI, především těch v doktorském studiu. Toto zapojení má nejčastěji formy výzkumných mobilit studentů, aktivní účasti studentů na špičkových světových recenzovaných konferencích a výzkumných návštěv zahraničních odborníků na FI. Avšak zajišťování potřebných prostředků na takové aktivity je velmi složité na úrovni jednotlivých výzkumných týmů, neboť nelze s dostatečným předstihem předjímat, na které výzkumné mobility budou studenti pozváni či přijati (typicky se týká tzv. letních škol), čí výzkumné příspěvky budou přijaty na kterou konferenci (typicky bývá známo nejdříve kolem 3 měsíců před datem konání) nebo který zahraniční odborník přijme pozvání k výzkumné návštěvě. Každoročně předkládaný projekt je zaměřen právě na celkové řešení této podpory vědecké přípravy studentů na celofakultní úrovni. Podporovaná příprava studentů zahrnuje jejich aktivní účast na špičkových informatických konferencích, 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: 16
2025
-
Analysis of Input-Output Mappings in Coinjoin Transactions with Arbitrary Values
Computer Security – ESORICS 2025, year: 2025
-
Augmented Sketching as Interactive Markers: Generating Heightmaps in Mobile AR
VINCI '25: Proceedings of the 18th International Symposium on Visual Information Communication and Interaction, year: 2025
-
Bidding Games on Markov Decision Processes with Quantitative Reachability Objectives
Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, year: 2025
-
Decompose and Conquer: ZVP Attacks on GLV Curves
APPLIED CRYPTOGRAPHY AND NETWORK SECURITY, ACNS 2025, PT II, year: 2025
-
Diagnosable Code Duplication in Introductory Programming
Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 1, year: 2025
-
Finding Misleading Identifiers in Novice Code Using LLMs
Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 2, year: 2025
-
Learning Optimal Prosody Embedding Codebook based on F0 and Energy
INTERSPEECH 2025, year: 2025
-
Let's DOIT: Using Intel's extended HW/SW contract for secure compilation of crypto code
IACR Transactions on Cryptographic Hardware and Embedded Systems, year: 2025
-
Multiple Mean-Payoff Optimization Under Local Stability Constraints
Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 39 No. 25: AAAI-25 Technical Tracks 25, year: 2025
-
Non-termination Witnesses and Their Validation
Automated Software Engineering, ASE 2025, year: 2025