Skip to main content

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). 

Programming and modelling languages, cyber-physical systems, model-based computing systems, compilers, machine learning.

Page responsible:Web editors at EECS
Belongs to: Software Construction and Analysis
Last changed: Apr 05, 2024