Research projects

Main research areas
- Artificial intelligence and human-computer interaction
- Formal methods in computing
- Performance evaluation and system validation
- Complex socio-technical networks and distributed systems
- Complex systems, big data analysis and systems biology
- Image processing and virtual reality