We have expertise covering a broad range of topics. Our group is well-known for research on:
Analysis of computer-based systems:
Mathematical foundations:
Software construction:
