Software Construction and Analysis
In this area we study methodological aspects of software development and maintenance.
We do research on theory and systems within modeling, programming languages, compilers, formal semantics, machine learning, probabilistic programming, and real-time systems.
We also research new methods and systems for software and services analysis and development. This includes semantics-based and machine learning-based approaches, new architectures for data analysis systems, autonomous software systems, privacy and trust enabled software and services. We also study multi-agent systems (crowd intlligence).