Interactive references

Atlases

Three maps of results and connections in voting, quantum and classical computation, and games. Each atlas includes explanations and links to sources.

Voting Atlas

Explore voting rules, their properties, and the complexity of the tasks they define. This atlas places my Stable Voting results alongside related rules and problems.

Quantum/Classical Atlas

A broader technical reference connecting quantum algorithms, classical simulation methods, and complexity results. Follow an algorithm's dependencies or explore the assumptions behind a claimed speedup.

Games & Complexity Atlas

An educational resource connecting my teaching of algorithms with my interest in games. Compare games and variants to see how changing a rule, a board constraint, or the question being asked changes the computational problem.