This area develops advanced methodologies for building reliable and secure software systems. Research includes program analysis, formal verification, compilers, concurrent programming models, and correctness of both classical and quantum software stacks. Representative topics include:
- Program analysis and verification
- Compilers and programming languages
- Concurrent and adaptive systems
- Reliable and secure software engineering
Quantum software stacks
