Our Research Area

Members of the department pursue a research in theoretical foundations of computer science and artificial intelligence with emphases on the following subjects:

• number theory and its applications, reliable computing, interval analysis
• complexity and computability theory; complexity of algorithms; philosophical aspects of computing
• mathematical theory of neurocomputing and machine learning
• combinatorial problems in matrix theory
• statistical models and inference
• developments and analyses of numerical methods and algorithms in contact mechanics
• design, processing and evaluation of mathematical models in biomechanics
• data classification with the use of their fractal nature
• bio-inspired computational methods for man computer interaction, humanoid control and large data analysis

Seminar

The department runs a regular seminar Hora Informaticae, that has been founded in 1993. The seminar is devoted to theory and practice of informatics.

Projects

• Distribution and metric properties of number sequences and their applications
• Modeling of complex systems by softcomputing methods
• The use of advanced statistical analysis and nonstatistic separation methods to detect processes of physics in data from accelerators of elementary particles

Activities

• Dovedou už stroje myslet?

Conferences

• 21st Czech and Slovak International Conference on Number Theory
• 4th International Conference on Uniform Distribution Theory
• ITAT 2014

Department members

• Daněk Josef, doc. Ing., Ph.D.
• Fabián Zdeněk, RNDr., CSc.
• Húsek Dušan, Ing., CSc.
• Jiřina Marcel, Ing., DrSc.
• Kůrková Věra, RNDr., DrSc.
• Porubský Štefan, prof. RNDr., DrSc.
• Rohn Jiří, prof. RNDr., DrSc.
• Řezanková Hana, prof. Ing., CSc.
• Šebesta Václav, doc. Ing., DrSc.
• Wiedermann Jiří, prof. RNDr., DrSc.

Secretarial support

• Bílková Hana
• Martinčíková Eva, Ing.
• Smolíková Danuše