Doctoral Programme in Computer Science and Computer Engineering

Doctoral School of Computer Science and Computer Engineering

Research Topics

The following list of research topics, with reference to the corresponding Ph.D. supervisors, are currently under investigation:

Communicative Systems:

• Cloud/grid/parallel computing (P. Bouvry, Y. Le Traon) 
• Computer networks (Th. Engel)
• Digital communication (Th. Engel, U. Sorger)
• Distributed, mobile and ubiquitous systems (Y. Le Traon, S. Mauw, St. Rothkugel)
• Document engineering (St. Rothkugel)
• Energy efficient systems (P. Bouvry)
• Evolutionary algorithms (L. Briand, Y. Le Traon)
• Image and signal processing (B. Ottersten)
• Large-scale distributed systems (Th. Engel, Y. Le Traon)
• Middleware (P. Bouvry, Y. Le Traon)
• Network traffic and security (Th. Engel, S. Mauw, U. Sorger)
• Sensor and ad-hoc networks (P. Bouvry)
• Simulation (P. Bouvry)
• Vehicular communications (Th. Engel)
• Wireless communications (A. Biryukov, B. Ottersten)

Intelligent and Adaptive Systems:

• Agreement technologies and computational social choice (L. Van der Torre)
• Algorithmic decision theory (R. Bisdorff)
• Autonomous intelligent agents and their cognitive dynamics (L. Van der Torre)
• Bioinformatics and computational biology (P. Bouvry, S. Mauw)
• Information retrieval and seeking (Chr. Schommer)
• Knowledge discovery and data mining (Chr. Schommer)
• Logic-based knowledge representation and nonmonotonic reasoning (L. Van der Torre)
• Multiple criteria decision aid for selecting, ranking, sorting and clustering (R. Bisdorff)
• Nature inspired algorithms (P. Bouvry, Y. Le Traon)
• Normative multi-agent systems and deontic reasoning (L. Van der Torre)
• Optimisation (P. Bouvry)
• Scheduling (P. Bouvry)
• Social Computing (Chr. Schommer)

Security and Cryptology:

• Access control (S. Mauw)
• Algorithms for elliptic curves (V. Müller)
• Applied and symmetric cryptography (A. Biryukov, P. Y. A. Ryan)
• Computer algebra (V. Müller)
• Design and analysis of cryptographic protocols (S. Mauw, P. Y. A. Ryan)
• Digital rights management (S. Mauw)
• Embedded and mobile systems security (A. Biryukov, Th. Engel, Y. Le Traon)
• Forensics (Th. Engel, S. Mauw)
• Information assurance (P. Y. A. Ryan)
• Intrusion Detection (P. Bouvry, L. Briand)
• Malware detection and prevention (Th. Engel, Y. Le Traon)
• Privacy and anonymity (Th. Engel, S. Mauw)
• Public key cryptography (J.-S. Coron, V. Müller)
• Quantum cryptography and information assurance (P. Y. A. Ryan)
• Secure voting systems (P. Y. A. Ryan)
• Security testing (L. Briand,Y. Le Traon)
• Side-channel and fault analysis (A. Biryukov, J.-S. Coron)
• Trust and recommender systems (S. Mauw)
• Web-application security (L. Briand, Y. Le Traon)

Software and Systems:

• Concurrency, process algebra (S. Mauw, P. Y. A. Ryan)
• Code static analysis (L. Briand, Y. Le Traon)
• Design for testability (L. Briand, Y. Le Traon)
• Domain-specific modelling languages (P. Kelsen)
• Embedded systems (L. Briand, N. Navet)
• Empirical software engineering (L. Briand, Y. Le Traon)
• Formal methods (N. Guelfi, P. Kelsen, S. Mauw)
• Foundations of model-driven engineering (P. Kelsen)
• Model checking and verification (S. Mauw)
• Validation and testing (L. Briand, Y. Le Traon)
• Model-driven engineering (L. Briand, Y. Le Traon)
• Online learning (D. Zampunieris)
• Real-time and dependability (L. Briand, N. Guelfi, N. Navet)
• Requirements engineering (L. Briand, S. Mauw, Y. Le Traon)
• Service engineering, management & innovation (E. Dubois, E. Proper, CRP-HT)
• Visual specification languages (S. Mauw)