Scientific Research and Development
Not only do we teach computer science, we push the boundaries of knowledge forward
How to recognize a good faculty? It does top science. Just like we do at FI.
What is our recipe for premium results?
Lectures, Informatics Colloquia, and News
23 AprRead moreInformatics Colloquium 23. 4. 2019, 14:00 lecture hall D2 RNDr. Vojtěch Řehák, Ph.D., FI MU What is the best timeout? Abstract: We all have some experience with deadlines, and we know how hard it is to deliver results in time, especially when some obstacles with an uncertain solving time may occur. In this talk, we deal with formalisms suitable for modeling and analysis of such systems, i.e., reflecting both timeouts and actions taking stochastic continuous time. We show how this kind of stochastic timed systems can be modeled and what properties can be computed for such models. On surprisingly small examples we also demonstrate some fundamental limits of such models. Then we will consider that some parts of the model are unknown and we take them as parameters that we would like to synthesize automatically. Finally, we will present results allowing for the synthesis of (epsilon)-optimal timeouts in such systems.
12 JunRead moreLast year, an excellent scientist and holder of two ERC grants Daniel Kral moved to the Faculty of Informatics. After his arrival at the faculty, he became the head of the laboratory of discrete methods and algorithms DIMEA. Now, the DIMEA laboratory cordially invites to a two-day meeting of Central European scientists and researchers from the field of discrete mathematics and theoretical informatics DIMEA Days. The program will start on Wednesday, June 12 and conclude on Thursday, June 13 Registration ends March 31. Venue: Moravian Museum, Dietrichstein palace, Zelný trh 8, Brno More information: https://www.fi.muni.cz/research/dimea/days19.html.en
"I'd like to thank our academics and students, particularly our doctoral students, for publishing work that has seen the Faculty of Informatics ranked first out of 55 institutions in the area in disciplinary comparisons published by IDEA CERGE in Oborová publikační výkonnost pracovišť výzkumných organizací v ČR v letech 2009-2013.Prof. Jiří Zlatuška
FI MU Dean