Theoretical computer science
Stochastic processes
Formal languages
Logic in computer science
Stochastic simulation
Rewriting