Software Dependability and Safety Analysis
- Integrated safety and reliability analysis of engineering systems (aerospace systems, nuclear plants, etc.) controlled by digital processors and software.
- Risk analysis and security analysis of computer-based information systems and networks.