Simulation
Theoretical computer science
Formal methods
Cellular automata
Applied mathematics
Formal languages
Automata theory
Models of computation
Operations research