Vaclav Lenk Welcome to the Department of Applied Cybernetics, Faculty of Mechanical Engineering Technical University of Liberec. The Department covers the broad range of computing systems and control. These topics include software engineering, modelling and simulation, distributed computing, database systems, computer architectures and operating systems, computer aided engineering, automatic control of manufacturing processes, etc.
Students have access to the PC computers and workstations.
These machines also provide central resources such as email, a large variety of software, and access to networks all around the world. The course combines a formal approach to the analysis and modelling of systems, with an engineering approach to their using. The aim is to provide a balance between the theory and practice of systems, which will form the basis for student's future careers as computing and control system professionals. Fundamental research is undertaken into a number of related areas within this general topic. Computational logic, which includes execution models of temporal logic, optimisation and recursive query evaluation.