The department of computer science is engaging the following research areas and topics:

• 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

• 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

• 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

• 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