Accelerated network technologies

Akcelerované síťové technologie - schéma

Research in the field of methods for accelerating key tasks related to computer network monitoring and security. For acceleration, field-programmable gate arrays (FPGA) are used, which allow processing packets within networks with a penetrability 100 Gb/s.


Automatic verification

Printed Circuit Board

Research of methods used for automated analysing and verifying computer systems, including both formal analysis and verification, and intelligent testing and dynamic analysis. The objective is to increase the versatility, reliability and scalability of the present approaches taken with regard to automatic analysis and verification procedures. Infinite status systems are accentuated (i.e. systems with dynamic data or control structures, properties, etc.), as well as parallel programs and the verification of systems developed with the use of the latest HW/SW design methods.


Evolution design

Evoluční návrh - mutace obvodu

Research of the methods used for the evolution design of digital circuits. The objective is to automatically transform an abstract specification to develop digital circuits that will comply with pre-defined limits. It is anticipated that the evolution design will result in an innovative solution. Further utilisation of the evolution design is anticipated in the field of autonomous hardware reconfiguration.


HW/SW Co-design

HWSW codesign - shutterstock_12654325

Research and implementation of algorithms for modern design systems that are used for developing processors.
These design systems are based on the concept of a hardware/software co-design, enabling automated development of support tools such as translators, simulators, etc.


Modelling, simulation and optimization

microchip integrated on motherboard

Use of executable models in the design, implementation and maintenance of computer systems.
These models will enable the simulation, optimisation and code generation for target implementation. Furthermore, it will be easier to adapt these systems to changing conditions throughout their life.


Networks, protocols and embedded systems

Sítě, protokoly a vestavěné systémy

Research methods and algorithms used for modelling, designing and analysing computer networks and network components, both the versatile i.e. at the Internet level, and the specific, mainly cybernetic-physical system networks. Utmost attention is paid to the design and verification of the properties of such networks, as well as to creating tools to support or automate the design and its testing.


Biometric systems’ security

scanning fingerprint

In the field of biometric system security, we focus on detecting vivacity (verification whether a user who has presented their system biometrics is alive - and whether false biometrics may have been used); we are interested in the influence of skin diseases on fingerprint recognition (whether it is possible to tell a disease from a contaminated finger, or whether the quality of the fingerprint affected by a dermatologic disease may have been improved); 3D face geometry recognition (increased biometric entropy in comparison to 2D systems); 3D palm geometry recognition (another innovative method that increases recognition ability compared to standard 2D systems); face thermoscreen recognition (the screens show high resistance to falsification); and the eye phenomenon (recognition of the retina and the iris). This research activity includes connection through biometric passports, where a 2D face and fingerprints are used, and iris integration comes into play as well.

20th Open Access Grant Competition
20th Open Access Grant Competition
Research and developlment support service
IT4Innovations inform about research and development support service, which is provided as part of the […]
IT4Innovations Newsletter Q1/2020
IT4Innovations Newsletter Q1/2020
The warranty support for Anselm from the supplier is to end on May 18, 2020
On May 18, it will be seven years since our first supercomputer Anselm was fully […]
Press Release: Field of HPC possible to study at a unique doctoral school
Press Release: Field of HPC possible to study at a unique doctoral school
All news