Cyber Forensics, Network Security, Software Security, Malware Analysis, Program Analysis, Software Engineering, Systems Engineering, Formal Semantics and Methods, Verification and Validation, Languages Design and Analysis
Communication software engineering, Quality assurance for software, Service engineering, Conformance testing based on FSM, EFSM and timed automata, Requirement engineering based on scenarios, Multimedia applications and QoS
- Cloud computing and fog computing
- Network Function Virtualization (NFV) and Software Defined Networks (SDN)
- Internet of Things, Content Delivery Networks and 5G Networks
- Information and Communication Technologies for Development (ICT4D)
Secure control of cyber-physical systems, Computational low demanding model predictive control strategies for autonomous vehicles, Control of switching/switched systems, Model predictive control strategies for hybrid systems, Fault tolerant control
Signal Processing, Information Fusion, Cyber-physical Systems, Large Scale Dynamical Systems, Distributed Localization/Tracking, Networked Control Systems, Sensor Networks, Distributed Camera Networks, State Estimation in Smart Grids.
Maintenance management; Quality Control; High-dimensional data analysis for systems monitoring; Modern Manufacturing Systems; Diagnostics and prognostics, and; Statistical and machine learning for complex-structured streaming data.