Research Groups

Accelerated Network Technologies Research Group

Research Themes
  • Monitoring and security of computer networks
  • Acceleration of time critical operations, which are used in devices for network infrastructure or devices for network monitoring and security (packet header analysis and extraction, classification of packets, longest prefix match, pattern matching and flow CACHE management)
  • Design of devices and systems for network infrastructure, security and monitoring
  • Standard processors, MultiCORES and FPGA technology in networking

Automated Analysis and Verification Research Group - VeriFIT

Research Themes
Static analysis, dynamic analysis and testing of computer systems, software quality assurance, and related subjects from the areas of automata theory and logics, including:
  • Static analysis and verification with formal roots in the area of infinite-state systems (programs with pointers and dynamic linked data structures, concurrent programs with unbounded concurrency, programs with unbounded integer variables, arrays, parameters, recursion, unbounded communication channels, etc.), building on applications of theory of automata, logics, and graphs.
  • Testing and dynamic analysis of (esp. concurrent) software using a broad range of techniques (such as noise injection, extrapolation, data mining, machine learning), including possible self-healing or providing information for software quality assurance.
  • Formal verification in the area of hardware design based on high-level hardware description languages.
  • Research on efficient techniques of handling automata (e.g., simulation reduction of non-deterministic automata or efficient inclusion checking on non-deterministic automata), decision procedures for various logics, etc.

Brno University Security Laboratory - FIT

Research Themes
  • Attacks on hardware secure devices
  • Smart-card security
  • Reputation/trust-based systems
  • Security of protocols on IP
  • Internet security
  • Sensor and ad-hoc networks
  • Cryptography and cryptanalysis
  • Applied cryptography

Computational Photography Group - CPhoto@FIT

Research Themes
  • computational photography
  • visual geo-localization
  • HDR image processing
  • visual perception
  • image and video quality assessment

Computer Graphics Research Group

Research Themes
  • Realistic rendering of spatial scenes
  • Particle systems (point clouds) rendering
  • Large and distributed scenes
  • Acceleration of graphics algorithms in hardware
  • Animation of articulated structures, their kinematics and dynamics
  • Image and multispectral data compression
  • User interfaces

Evolvable Hardware Research Group

Research Themes
  • evolvable hardware in FPGAs
  • evolutionary logic synthesis and optimization
  • development for evolvable hardware
  • approximate computing
  • polymorphic electronics: REPOMO32 chip, synthesis of polymorphic circuits, applications
  • evolutionary design of innovative, testable, and fault-tolerant circuits
  • cellular automata and their applications

Fault Tolerant Systems Design, Diagnostics and Testing

Research Themes
  • Fault tolerant systems (on-line testing techniques, checkers, dependability models, partial dynamic reconfiguration based on an FPGA, overload prevention solutions for embedded systems).
  • The use of functional verification outputs for the verification of fault tolerance properties of electromechanical systems, the use of fault injection. 
  • The design of fault tolerant neural networks, the verification of fault tolerance parameters.

Formal Model Research Group

Research Themes
  • Theoretical Basis of Information Systems
  • Formal Languages and Their Models
  • Specification and Translation of Languages
  • Applications of Formal Models

Hardware-Software Codesign research group

Research Themes
  • Hardware-Software codesign of microprocessors for embedded systems 
  • Architecture Description Languages
  • Compilers
  • Generic tools for programming and simulation of the Application Specific Instruction set Processor
  • Transformations of architecture description languages and hardware description languages
  • Application of formal languages in compilers

High Performance Computing Research Group

Research Themes
  • Development of dynamic math models from basic principles
  • Selection of numerical integration algorithms to secure accuracy and stability
  • Special hardware design
  • Special software design
  • Graphical interface
  • Stiff systems analyzes
  • Design of control systems
  • Simulation of electronic circuits
  • Simulation of mechanical systems
  • Partial differential equations solving
  • Modelling of hydrophobic materials, solution of large problems involving contact flow. Usage of domain decomposition (FETI methods) for parallelization of numerical calculations 

Image and Video Processing Research Group

Research Themes
  • Automatic video editing
  • Algorithms for detection and tracking of objects and human body parts
  • Acceleration of image processing and computer vision in hardware
  • Detection of objects and shapes
  • Industrial and traffic applications of image processing

Information and Database Systems Research Group

Research Themes
  • Research and application of modelling techniques in information systems development
  • Object oriented database systems
  • Knowledge discovery in databases
  • Systems for decision support, OLAP systems 
  • Information extraction from documents
  • Web technologies
  • Interpreted languages and their usage
  • Process mining
  • Big Data

Intelligent Systems Research Group

Research Themes
  • Artificial Intelligence, Soft computing
  • Software agents and multiagent systems
  • Trust and reputation in distributed and multi-agent systems
  • Robotic systems and intelligent systems
  • Wireless Sensor Networks

Knowledge Technology Research Group

Research Themes
  • structured language models
  • syntactic analysis
  • ontology acquisition from free text
  • opinion mining
  • information retrieval and extraction from multimedia
  • lexical databases
  • semantic web technologies
  • technology-enhanced learning

Management of software engineering Research Group

Research Themes
  • Management of processes, projects, quality and risk in software management.
  • Object oriented software metrics and standards
  • Specification methods of processes and IT projects
  • Formal models of processes
  • Methods and tools for analyzing and design of processes
  • Improving of software development process
  • Methods of formal analyzing, design and verification of business processes
  • Modelling and optimization of business processes
  • Business process reengineering
  • Development of technologies applied in e-learning
  • Development of tools for support of e-learning
  • Management, improvement and ensurence of quality by ISO 9000

NES@FIT - Networked and embedded systems research group

Research Themes
  • Design, specification and analysis of computer communication
  • Communication of embedded systems, wireless, mobile and sensor networking
  • Network forensic tools (project Netfox, project Tarzan)
  • IoT monitoring and security (project Ironstone, project IGA)
  • Design of new network architecture (project PRISTINE)
  • Network modeling and simulation (projekt ANSAINET)
  • Recursive internetwork architecture (RINA) simulator (projekt RINASIM)
  • Monitoring, security and quality measurement of network communication with focus on voice and video transmissions

Robotic research group Robo@FIT

Research Themes
  • Sensory data processing and fusion
  • Object detection and classification
  • People recognition and identification
  • Localization and mapping
  • 3D environment modelling
  • Simulations
  • Advanced and assistive user interfaces 

SC@FIT - Supercomputing Technologies Research Group

Research Themes
Hardware topics
  • Architecture of parallel systems
  • Performance and scaling models of systems with shared and distributed memory
  • HPC systems based on GPUs and other accelerators
  • Low power systems, power-performance optimization
Software topics
  • Local domain decomposition for spectral methods
  • Parallelisation in time
  • Automatic load balancing on heterogeneous systems
  • Multi-scale and multi-physics model coupling
  • Asynchronous input/output in HPC applications
  • Modern programming languages in HPC (Python, OpenACC, Thrust)
Applications
  • Simulation of ultrasound propagation in human body
  • Acceleration of photoacoustic imaging
  • Simulation of fracture tests in quasi-brittle materials
  • Optimisation of the retention capacity of the system of water dams
  • High performance scientific applications

Security Technology Research and Development

Research Themes
  • biometric systems
  • security
  • image and video processing
  • robotics
  • intelligent sensors
  • embedded applications
  • military applications

Speech Data Mining Research Group BUT Speech@FIT

Research Themes
  • speaker identification
  • language identification
  • speech recognition
  • keyword spotting
  • phoneme recognition
  • speech corpora

System Modelling and Optimization Research Group

Research Themes
  • Discrete Event Systems
  • Petri Nets
  • Hybrid Systems
  • Systems Modeling, Simulation, Analysis and Design - methodology and tools

Unconventional Digital Circuits Research Group

Research Themes
  • Polymorphic electronics, multifunctional logic elements and their applications in digital circuits.
  • Digital devices based on organic semiconductors.
  • Utilisation of ambipolarity in digital circuits design.
  • Design and synthesis of multifunctional digital circuits at both transistor and gate level.

Your IPv4 address: 54.83.122.227
Switch to IPv6 connection

DNSSEC [dnssec]