Three departments at the school of computer science focus on applied computer science (software‑related), where an excellent research is conducted including modeling and formalizing of algorithms, data structures and software architectures. The research standards include development of prototype implementations of software systems, intensive experimentation using standardized benchmarks with an emphasis on repeatability of experiments.
The Department of Software Engineering deals with search in big structured and unstructured data, such as multimedia, graphs, scientific and bio data. We focus on database methods for similarity search (performance, scalability), modeling and development of alternative means of retrieval, and also similarity modeling in particular data domains. In the multimédia retrieval field we work with complex image descriptors and modern means of retrieval using database methods based on massively parallel processing. In the bioinformatics domain we focus on the development of algorithms and computational tools to aid analysis of biological data and computational drug discovery. This includes approaches to analyze RNA and protein data or discovery of new bioactive small molecule compounds. In the big data domain, we develop methods which can be used to automate data integration and extraction. Therefore, individuals can concentrate on the information and knowledge instead of tedious reading and browsing of tons of documents and databases. We develop methods which allow people to integrate large heterogeneous data and explore and browse it in a user friendly way. Our approach fully applies the so called Linked Data principles which provide a unified framework for publishing and interlinking data on the Web. This allows us to enrich given data with the context of thousands of data sources already available on the Web. On top of the integrated data we apply various statistical, machine learning and natural language processing methods for information and knowledge extraction. We apply results of our research in cooperation with commercial partners. We also lead a non‑profit initiative OpenData. cz which promotes the principles of Linked Data among governmental organizations. Our aim is to convince the organizations to publish their data on the Web for free reuse so that we (and anyone else) can show the value hidden in their data.
The Department of Distributed and Dependable Systems focuses on methods and models that enable systematic development of dependable software for smart cyber‑physical systems (CPS). This covers approaches for (i) goal‑based requirements engineering, (ii) component‑based architectural models specifically tailored for dependable real‑time systems, (iii) models and techniques for runtime self‑adaptivity and self‑awareness (including awareness of own performance), (iv) communication models for opportunistic knowledge sharing in networks with limited connectivity (e.g. MANETs, VANETs), (v) methods and tools for assessing performance and resource consumption, (vi) methods and tools for network‑precise simulations of large‑scale deployment of smart CPS, and (vii) runtime platforms for analysis and experiments with smart CPS (targeting Android and very low‑power embedded devices such as ARM Cortex M family). The department further focuses on analyses of software systems. This includes verification of properties of software systems implemented in C/C++ and Java languages and analysis of web applications written in PHP, such as web‑based banking interfaces, content‑management systems (WordPress), etc. For verification of complex systems, which cannot be analyzed directly, we have developed methods for automatic model extraction and its analysis proving the properties on the model level. The department regularly participates in industrial and EU projects (FP7, H2020); its most recent project being the FP7 FET project ASCENS, which focused on theoretical foundations of autonomous networked systems.
The Computer Graphics Group is one of the leading groups in Computer Graphics research worldwide, with a strong focus on highly realistic image synthesis. Though mostly theoretical in its nature, the group’s research is strongly rooted in problems encountered in practice: many of the results have been adopted by the renowned graphics production houses, such as Weta Digital, PIXAR Animation Studios, or Chaos Group. Two leading figures contribute to the scientific excellence of the group. Alexander Wikie focuses on physics‑related aspects of light transport, material modeling, and color science. Jaroslav Křivánek focuses on radiative transport, Monte Carlo methods, and visual perception. In 2014, he was selected for the New Europe 100 list, “a list of outstanding challengers who are leading world‑class innovation from Central and Eastern Europe”, for “taking computer graphics to the next level”.
T. Skopal, B. Bustos . On Nonmetric Similarity Search Problems in Complex Domains, ACM Computing Surveys, 43(4), pp.: 34:1-34:50, ACM, ISSN: 0360-0300, 2011
T. Skopal, J. Lokoč, B. Bustos. D-cache: Universal Distance Cache for Metric Access Methods, IEEE Transactions on Knowledge and Data Engineering, 24(5), pp.: 868-881, IEEE, ISSN: 1041-4347, 2012
David Hoksza, Petr Škoda, Milan Voršilák and Daniel Svozil. Molpher: a software framework for systematic chemical space exploration, Journal of Cheminformatics, 6(7), Chemistry Central, ISSN: 1758-2946, 2014
Martin Nečaský, Irena Mlýnková, Jakub Klímek, Jakub Malý: When Conceptual Model Meets Grammar: A Dual Approach to XML Data Modeling. International Journal on Data & Knowledge Engineering, volume 72, pages 1 - 30. Elsevier, February 2012. DOI: 10.1016/j.datak.2011.09.002. ISSN 0169-023X
Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: DEECo - an Ensemble-Based Component System, In Proceedings of CBSE 2013, Vancouver, Canada, ACM, June 2013
Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: Gossiping Components for Cyber-Physical Systems, In Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), Vienna, Austria, Best Research Paper Award, Springer, August 2014
Jančík P., Kofroň J., Rollini S. F., Sharygina N.: On Interpolants and Variable Assignments, In proc. of Formal Methods in Computer-Aided Design 2014, Lausanne, Switzerland, October 2014
Hauzar D., Kofroň J., Baštecký P.: Data-flow Analysis of Programs with Associative Arrays, In Proceedings of the International Workshop on Engineering Safety and Security Systems (ESSS'14), Singapore, EPTCS, May 2014
J. Křivánek, I. Georgiev, T. Hachisuka, P. Vévoda, M. Šik, D. Nowrouzezahrai, W. Jarosz, Unifying points, beams, and paths in volumetric light transport simulation, ACM Trans. Graph. 33(4): 103(2014)