Research Groups

• Algorithmic Program Verification
• Computer Architecture
• Computer Networks
• Modeling of Concurrent Computation
• Parallel Scientific Computing
• Programming Language Technology
• Real-Time and Embedded Systems
• Testing and Model Generation