| The department of computer science is engaging the following research areas and topics: |
Communicative Systems - Applications of Graph Transformation Techniques
- Coding Theory
- Computer Networks
- Document Engineering
- Image and Signal Processing
- Information Theory
- Interactive Distributed Systems
- Mobile and Ubiquitous Computing
- Network Forensics
- Network and System Security
- Platforms for Big Data Analysis and Machine Learning
- Security, Reliability and Privacy in Distributed Environments
- Transmission over Time Variant Channels
- Wireless Communications
Information Security - Analysis of Information Flow
- Attack Trees
- Automated implementation of security mechanisms
- Computational Number-Theory
- Cryptanalysis
- Cryptographic Protocols
- Cryptographic Voting Schemes
- Cryptography
- Formal Methods
- Hardware and Software Security
- Information Assurance
- Location-based Services
- Malware detection and prevention
- Model-Driven Security
- Modelling and Analysis of Secure Systems and Security Policies
- Network Security
- Network, Mobile and Embedded Systems Security
- Privacy
- Privacy and Anonymity
- Public-Key Cryptography
- Quantum Cryptography
- RFIDs
- Security Assessment
- Security Primitives in Business Applications
- Security Protocols
- Side-Channel Attacks
- Socio-technical Aspects of Security
- Virtual and Crypto Currencies
Intelligent and Adaptive Systems - Agreement Technologies and Cognitive Dynamics
- Artificial Companions
- Cloud Computing
- Data Mining and Knowledge Discovery
- Data Science
- Foundations of Formal Sciences and AI
- Foundations of Reasoning and AI
- High Performance Computing
- Human-Computer Interaction
- Information Exchange
- Information Retrieval and Learning
- Knowledge Representation and Natural Language Semantics
- Logic and Knowledge Representation
- Logics for Intelligent Agents/Robots
- Machine Learning
- Natural Language Processing
- Normative Multi-Agent Systems and Deontic Reasoning
- Parallel and evolutionary computing
- Uncertain and Nonmonotonic Inference
Software and Systems - Automated Software Testing
- Big Data at Runtime
- Dependability
- Domain-Specific Modeling Languages
- Formal Methods
- Integration of Verification Activity into Model-Driven Engineering
- Model-Driven Software Development
- Model-Driven Software Engineering
- Modeling at Runtime
- Proactive Computing
- Proactive Engines
- Probabilistic Risk Analysis
- Requirements Engineering
- Run-Time Verification
- Software Engineering
- Software Testing
- Timing Verification of Real-time Systems
- Web-based Systems
- e-Learning
|
