Guelev, Dimitar
Temporal logic, probability logic, real-time systems, model checking, formal methods and theoretical computer science in general.
Gateva-Ivanova, Tatiana
Non-commutative algebra and applications for quantum groups, non-commutative geometry, symbolic computation
Buchackchiev, Vilislav
Algebra.
