Research Areas and Groups
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
Research Themes
- Classical and advanced genetic algorithms, theory and practice
- Evolutionary algorithms EDA, theory and fast development of aplication
- Aplications of EDA algorithms for group communication
- Accelaration of evolutionary algorithms on the platform of non-conventional computer architectures (GPU, IBM Cell,...)
Research Themes
- Automated formal verification of infinite-state systems (such as systems with dynamic linked data structures like various kinds of lists or trees -- including their variants used, e.g., in the Linux kernel, unbounded integer variables, arrays, parameters, recursion, unbounded communication channels, etc.), using especially automata and various logics.
- Research on efficient techniques of handling automata and logics (e.g., simulation reduction of non-deterministic automata, efficient inclusion checking on non-deterministic automata---cf. www.languageinclusion.org---etc.).
- Automated verification and bug finding in concurrent software using a broad spectrum of approaches (static and dynamic analysis, intelligent testing, model checking), as well as automated self-healing of software.
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
Research Themes
- Collective communication algorithms
- Parallel system performance
- Performance models of shared memory systems and GPGPU
- Modification of parallel systems' principles and techniques for chip-level implementation (multi-core, many-core)
- Application-specific (embedded) parallel systems
- Graphic and multimedia systems
- Fault tolerant systems
- Data, image and video compression
Research Themes
- Realistic rendering of spatial scenes
- Particle systems (point clouds) rendering
- Large and distributed scenes
- Acceleration of graphics algorihtms in hardware
- Animation of articulated structures, their kinematics and dynamics
- Image and multispectral data compression
- User interfaces
Research Themes
- Design for testability (diagnosis of function blocks and memories, built-in diagnosis), testability analysis
- Fault tolerant systems (on-line testing techniques, checkers, dependability models, partial dynamic reconfiguration based on an FPGA, overload prevention solutions for embedded systems)
- Utilization of evolutionary approaches during a circuit design phase (benchmark generation methods, optimizations for testability, power and test time reduction)
Research Themes
- evolvable hardware in FPGAs
- evolutionary logic synthesis and optimization
- development for evolvable hardware
- polymorphic electronics: REPOMO32 chip, synthesis of polymorphic circuits, applications
- evolutionary design of innovative, testable, and fault-tolerant circuits
- cellular systems - applications in traffic modelling and prediction
- cellular nanocomputers - fault tolerance problems
Research Themes
- Theoretical Basis of Information Systems
- Formal Languages and Their Models
- Specification and Translation of Languages
- Applications of Formal Models
Research Themes
- Noncooperative games and auction mechanisms
- Algorithmic Game Theory
- Modeling of real strategic decision situations
- Ecomomic models
- Combinatorial optimization
- Models and optimizers of manufacture processes
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
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
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
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
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
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
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 Research Themes
Research Themes
- Research of formal methods for increasing reliability of computer-based systems
- Analysis and specification of network devices and embedded systems
- Communication in embedded systems, real-time communication protocols
- Wireless communication
- Automated Network-wide Security Analysis (ANSA)
- Network Simulation and Modelling on Cisco devices (NeSim)
- Network security,design of secure communication protocols
Research Themes
- Object oriented Petri nets (OOPNs)
- Time extensions of Petri nets
- Temporal and real-time logics with respect to Petri nets
- Analysis methods of high-level nets and their time extensions
- Computer tools based on OOPNs
- Applications of OOPNs
Research Themes
- FPGA technology
- HW/SW codesign
- languages for HW/SW systems description
- application specific architectures
- acceleration of time-critical computations
- applications in area of network technology, bioinformatics, EHW and multimedia
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
Research Themes
- biometric systems
- security
- robotics
- intelligent sensors
- wireless networks
- embedded applications
- military applications
Research Themes
- perceptually-based robust feature extraction for speech and speaker recognition
- very low bit rate coding
- automatic determination of speech units
- large scale speech database collection
- enhancement of noisy speech
Research Themes
- Discrete Event Systems
- Petri Nets
- Hybrid Systems
- Systems Modeling, Simulation, Analysis and Design - methodology and tools
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)