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
- prof. RNDr. Ivana Černá, CSc.
- RNDr. Tomáš Effenberger
- 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
- doc. Mgr. Radek Pelánek, Ph.D.
- RNDr. Filip Pokrývka
- doc. RNDr. Vojtěch Řehák, Ph.D.
- doc. RNDr. Jan Strejček, Ph.D.
- RNDr. Valdemar Švábenský
- RNDr. Pavol Ulbrich
- Mgr. Jiří Vahala
- RNDr. Petr Velan, Ph.D.
- RNDr. Kristína Zákopčanová
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.
Publications
Total number of publications: 31
2022
-
Design and analysis of microworlds and puzzles for block-based programming
Computer Science Education, year: 2022, volume: 32, edition: 1, DOI
2021
-
Conceptual Model of Visual Analytics for Hands-on Cybersecurity Training
IEEE Transactions on Visualization and Computer Graphics, year: 2021, volume: 27, edition: 8, DOI
-
ChemVA: Interactive Visual Analysis of Chemical Compound Similarity in Virtual Screening
IEEE Transactions on Visualization and Computer Graphics, year: 2021, volume: 27, edition: 2, DOI
-
Visilant: Visual Support for the Exploration and Analytical Process Tracking in Criminal Investigations
IEEE Transactions on Visualization and Computer Graphics, year: 2021, volume: 27, edition: 2, DOI
2020
-
A benchmark set of highly-efficient CUDA and OpenCL kernels and its dynamic autotuning with Kernel Tuning Toolkit
Future Generation Computer Systems, year: 2020, volume: 108, edition: July, DOI
-
Adversarial Patrolling with Drones
Proceedings of the 2020 International Conference on Autonomous Agents & Multiagent Systems, year: 2020
-
Approximate Counting of Minimal Unsatisfiable Subsets
Computer Aided Verification - 32nd International Conference, CAV 2020, year: 2020
-
Benefits and Pitfalls of Using Capture The Flag Games in University Courses
Proceedings of the 51st ACM Technical Symposium on Computer Science Education (SIGCSE '20), year: 2020
-
Beyond binary correctness: Classification of students’ answers in learning systems
User Modeling and User-Adapted Interaction, year: 2020, volume: 30, edition: 5, DOI
-
Biased RSA private keys: Origin attribution of GCD-factorable keys
Computer Security – ESORICS 2020, year: 2020