Темпорални и вероятностни логики, системи с реално време, model-checking, формални методи и теоретична информатика.