model checking, proof assistants, Coq, TLA+

game theory, Nash equilibrium, prisoner dilemma, strategic interaction

Shannon, Entropy, Signal, Encoding

algorithm design, graph algorithms, complexity, dynamic programming

qubits, quantum algorithms, superposition, entanglement

type theory, dependent types, type systems, HoTT, formal types

matrices, vectors, transformations, eigenvalues

graph theory, graph algorithms, DAG, trees, paths, connectivity

Functors, Monads, Natural Transformations, Topos Theory

trees, graphs, hash tables, linked lists

bayesian statistics, prior, posterior, probabilistic reasoning

probabilistic data structures, membership query

formal verification, model checking, proof assistants, TLA+

Spatial algorithms, Mesh generation, Voronoi diagrams, Collision detection, Point clouds

Transitive Closure, Adjacency Matrices, Network Analysis, Path Finding

Graph Theory, Social Networks, Complex Systems, Connectivity

liquid types, type refinement, LiquidHaskell, verified types

static analysis, program semantics, lattice theory, dataflow analysis

agda, dependent types, proof assistant, Martin-Löf

Emergent Patterns, Rule Systems, Self-Organization, Dynamic Systems