Algorithm
Mathematical logic
Applied mathematics
Hybrid system
Systems theory
Control theory
Mathematics
Theoretical computer science