Skip to main content

Research teams

Software and Information System Engineering

Formal Methods, Models, and Languages

Intelligent Systems for Bridging Data, Knowledge and Humans

Interactive and Cognitive Systems

Distributed Systems, Parallel Computing, and Networks

Submitted on March 7, 2024

Updated on October 31, 2024