Control theory
Hybrid system
Systems theory
Algorithm
Model checking
Actor model
APL
Modal logic
Computing
Logic
Mathematics