The Language-Based Technology research group focuses on the modelling, analysis, and realisation of concurrent, distributed, mobile, service-oriented, or embedded systems.
The main properties of interest are the correctness, security, safety, and performance guarantees of software-based systems—for systems where reliability is a must.
We develop and use advanced analysis tools and prototypes for meeting these challenges.