Lorem ipsum dolor sit amet, consectetur adipiscing elit. Vestibulum posuere, neque quis ullamcorper consequat, felis eros bibendum libero, vel volutpat quam justo ac leo. Phasellus ut leo vel sem tristique iaculis non non velit. Maecenas quis consequat augue. Nulla blandit purus sed suscipit suscipit.
Spectral Graph Theory, Quantum Information, Optimization problems, Semidefinite Programming, Equiangular Lines
Formal Methods, Formal Verification, Program Synthesis, Automated Reasoning, Satisfiability Modulo Theories
Theoretical and Applied Cryptography, Unconditional Privacy, Quantum Cryptography, Election Technologies
Quantitative Information Flow, Privacy, Foundations of Computer Security, Formal Methods
Algorithms (Exact and Approximate), Combinatorial Optimization, Graph Theory, Polyhedral Combinatorics
Design and Analysis of Algorithms, Graph Theory, Discrete Optimization