Domaines de recherche

L'unité de recherche "Computer Science and Communications" traite les domaines et thèmes suivants:

Communicative Systems

  • Applications of Graph Transformation Techniques
  • Cloud Applications Testing and Development
  • Cloud Computing SLA, Cloud Data Centers and Cloud Services Providers
  • 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
  • Networking Systems
  • Performance Evaluation, QoS and QoE
  • Platforms for Big Data Analysis and Machine Learning
  • Security, Reliability and Privacy in Distributed Environments
  • Transmission over Time Variant Channels
  • Wireless Communications
  • Wireless and Ad hoc Networks

Intelligent and Adaptive Systems

  • Agreement Technologies and Cognitive Dynamics
  • Artificial Companions
  • Cloud Computing
  • Data Mining and Knowledge Discovery
  • Data Science
  • Distributed Systems
  • Energy Efficiency
  • Foundations of Formal Sciences and AI
  • Foundations of Reasoning and AI
  • High Performance Computing
  • 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
  • Networking Systems
  • Normative Multi-Agent Systems and Deontic Reasoning
  • Parallel and evolutionary computing
  • Performance Evaluation
  • Platforms for Big Data Analysis and Machine Learning
  • Sentiment Detection and Analysis
  • Uncertain and Nonmonotonic Inference

Information Security

  • Analysis of Information Flow
  • Attack Trees
  • Automated implementation of security mechanisms
  • Computational Number-Theory
  • Cryptanalysis
  • Cryptographic Protocols
  • Cryptographic Voting Schemes
  • Cryptography
  • Data Privacy and Integrity in Highly Sensitive Sectors
  • Distributed Systems
  • 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

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
  • Internet and Cloud Infrastructure Resilience
  • Model-Driven Software Development
  • Model-Driven Software Engineering
  • Modeling at Runtime
  • Proactive Computing
  • Proactive Engines
  • Probabilistic Risk Analysis
  • Requirements Engineering
  • Resilience of Cyber-Physical System Infrastructures
  • Run-Time Verification
  • Security and Dependability of Embedded Components
  • Software Engineering
  • Software Testing
  • Systems and Control Engineering
  • Timing Verification of Real-time Systems
  • Web-based Systems
  • e-Learning