Students will get acquainted with theoretical aspects of behavior description and behavior modeling, design and its verification, testing computer systems, and they will be learned the principles of the synthesis and analysis of functional units of computers and other digital devices. Further, they will be informed about the architectures of computer systems with the emphasis on multi-processor, reconfigurable and distributed systems. They will understand the principles of formal specification and their implementation in the design of embedded systems, they will be able to utilize advanced techniques for rapid prototyping and the implementation of typical applications.

Student of the branch acquire deeper theoretical knowledge of behavior description and behavior modelling, design and its verification, testing computer systems, and will be learned the principles of the synthesis and analysis of functional units of computers and other digital devices. Further, he/she will be informed about the architectures of computer systems with the emphasis on multi-processor, reconfigurable and distributed systems. He/she will understand the principles of formal specification and their implementation in the design of embedded systems, be able to utilize advanced techniques for rapid prototyping and the implementation of typical applications.

• The graduates have good insight into architecture of computers, can integrate hardware and software products and optimize their configuration, predict system performance, design distributed, internet-based, parallel and reconfigurable applications. They can design embedded systems based on microprocessors, FPGAs, DSPs and microcontrollers as well as specialized interfaces, including interfaces to Internet.
  
• The graduates are ready for design work, operation and management of networks as well as high-performance parellel and reconfigurable systems, further for research and development work in the area of custom computing, digital control and embedded systems. They understand principles of project control and are able to apply them at the development, design and in application of computing systems. They are able to design and carry out an experiment, analyze and interpret the data, work individually or in a team, present the results in written or oral form and further educate themselves. Their adaptation is easy even into as diversified areas as demanding scientific computations and simulations, digital signal and image processing or advanced Internet automation or E-education.
  
• A carrier is possible in professions like system programmer, computer systems network designer and manager, system integrator, development specialist in design and rapid prototyping of combined hardware/software computer-based systems, distributed digital control systems as well as custom and programmable circuits and interfaces. Graduates in this branch of study will use their education in development and research divisions of companies dealing with computer hardware and software and further in a huge number of companies, which computer systems operate only, e.g. in state and local bodies, in the army, in education and health institutes, and practically in any industrial enterprise.

doc. Dr. Ing. Otto Fučík