Spectral graph theory, Semidefinite optimization, Quantum computing, Mathematical programming applied to geosciences
Algorithm Development and Analysis, Parametrized Complexity, Graph theory
Formal Methods, Formal Verification, Program Synthesis, Automated Reasoning, Satisfiability Modulo Theories
Theoretical and Applied Cryptography, Unconditional Privacy, Quantum Cryptography, Election Technologies
Combinatorial, Uncertainty, Robust Optimization, Operational Research, Graph Theory
Quantitative Information Flow, Privacy, Foundations of Computer Security, Formal Methods
Algorithms (exact and approximate), Combinatorial optimization, Graph theory, Polyhedral combinatorics
Algorithms, Parameterized Complexity, Structural Graph Theory, Graph Classes, Combinatorial Games