Main Research Areas
Logic and Automata
Security is one of the major societal concerns. Important infrastructure like airports, trains, digital networks, or banks must be protected against unpredictable events and intruders. Since security resources are limited, it is impossible to surveil all potential targets 24/7. The available resources must be deployed selectively, raising the question of how to utilize them optimally. We develop methods, algorithms, and tools for solving this problem.
Program Analysis and Verification
Understanding the behavior and verifying the correctness of computer-aided systems is one of the grand challenges of contemporary computer science motivated by the undesirable effects of computer failures on human society. We concentrate on developing methods for automatic analysis and verification of selected classes of systems, devoting special attention to probabilistic programs and programs with unbounded data types.
Risk-Aware Decision Making
Security is one of the major societal concerns. Important infrastructure like airports, trains, digital networks, or banks must be protected against unpredictable events and intruders. Since security resources are limited, it is impossible to surveil all potential targets 24/7. The available resources must be deployed selectively, raising the question of how to utilize them optimally. We develop methods, algorithms, and tools for solving this problem.
Security Games
Security is one of the major societal concerns. Important infrastructure like airports, trains, digital networks, or banks must be protected against unpredictable events and intruders. Since security resources are limited, it is impossible to surveil all potential targets 24/7. The available resources must be deployed selectively, raising the question of how to utilize them optimally. We develop methods, algorithms, and tools for solving this problem.