Project information
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
(SKOMU)
- Project Identification
- MUNI/A/0992/2016
- Project Period
- 1/2017 - 12/2017
- 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. Michal Balážia, Ph.D.
- Mgr. Zuzana Baranová
- prof. RNDr. Jiří Barnat, Ph.D.
- RNDr. František Blahoudek, Ph.D.
- prof. RNDr. Luboš Brim, CSc.
- doc. Ing. RNDr. Barbora Bühnová, Ph.D.
- Onur Cagirici, M.Sc., Ph.D.
- RNDr. Milan Čermák, Ph.D.
- RNDr. Martin Demko, Ph.D.
- RNDr. Petr Eliáš, Ph.D.
- RNDr. David Gešvindr, Ph.D.
- RNDr. Marek Chalupa, Ph.D.
- RNDr. Martin Jonáš, Ph.D.
- Mgr. Katarína Kejstová
- RNDr. Dušan Klinec, Ph.D.
- Mgr. Mikuláš Klokočka
- Mgr. Ľuboš Korenčiak, Ph.D.
- prof. RNDr. Antonín Kučera, Ph.D.
- Mgr. Tadeáš Kučera
- RNDr. Henrich Lauko, Ph.D.
- prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
- RNDr. Jan Mrázek
- RNDr. Matúš Nemec, Ph.D.
- RNDr. Jan Papoušek, Ph.D.
- RNDr. Samuel Pastva, Ph.D.
- Mgr. Martin Pavelek
- doc. Mgr. Radek Pelánek, Ph.D.
- RNDr. Lukáš Ručka
- doc. RNDr. Vojtěch Řehák, Ph.D.
- RNDr. Jiří Řihák, Ph.D.
- Mgr. Peter Sekan
- doc. RNDr. Petr Sojka, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- RNDr. Vladimír Štill, Ph.D.
- doc. RNDr. Petr Švenda, Ph.D.
- Mgr. Martina Vitovská
- prof. Ing. Pavel Zezula, CSc.
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 aktivní účasti na kvalitních tematicky zaměřených mezinárodních odborných školách, které přispívají k jejich dalšímu vědeckému růstu. V neposlední řadě náš projekt předpokládá i krátkodobé zvané přednáškově-výzkumné pobyty vybraných zahraničních odborníků na Fakultě informatiky.
Publications
Total number of publications: 23
2017
-
On Simplification of Formulas with Unconstrained Variables and Quantifiers
Theory and Applications of Satisfiability Testing – SAT 2017, year: 2017
-
Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution)
Tools and Algorithms for the Construction and Analysis of Systems, 23rd International Conference, TACAS 2017, Part II, year: 2017
-
Parameter Synthesis of Biological Models by Model Checking: A Case Study
Year: 2017, type: Appeared in Conference without Proceedings
-
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems
Computer Aided Verification. CAV 2017, year: 2017
-
Quality Evaluation of PaaS Cloud Application Design Using Generated Prototypes
2017 IEEE International Conference on Software Architecture (ICSA), year: 2017
-
Seminator: A Tool for Semi-Determinization of Omega-Automata
Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2017), year: 2017
-
Symbiotic 4: Beyond Reachability (Competition Contribution)
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, year: 2017
-
Synthesis of Optimal Resilient Control Strategies
Automated Technology for Verification and Analysis, year: 2017
-
System for Collection and Processing of Smart Home Sensor Data
2017 IEEE International Conference on Software Architecture Workshops (ICSAW), year: 2017
-
The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, year: 2017