Gerdjikov, Vladimir
Soliton theory, Soliton interactions.
Soliton theory, Soliton interactions.
Temporal logic, probability logic, real-time systems, model checking, formal methods and theoretical computer science in general.
Non-commutative algebra and applications for quantum groups, non-commutative geometry, symbolic computation
Algebra.