We have expertise covering a broad range of topics concerning analysis of computer-based systems, mathematical foundations, and software construction. Our group is well-known for research on:
