Research areas and teams

Software and Information System Engineering

Keywords: 

Formal Methods, Models, and Languages

Keywords: 
Area supervisors: 

Interactive and Cognitive Systems

Keywords: 
Area supervisors: 

Distributed Systems, Parallel Computing, and Networks

Keywords: 

Data and Knowledge Processing at Large Scale

Keywords: