Artificial Intelligence, Human Machine Interaction, Image Processing
Data Management and Informations Systems
Formal Methods in Computing
New Business Model Generation, Operational Research
Performance Evaluation and System Verification on Computer, Communication and Distributed Systems