My research interests include
temporal logic, probability
logic, real-time systems, model checking;
formal methods and theoretical computer science in
general.
| Last updated: March, 2001 | Home | Institute of Mathematics and Informatics | BAS |