Our research concerns mathematical foundations of computer science and practical and theoretical aspects of application of logic in various fields of computer science.

Among our scientific interests are:
- theory of automata,
- hardware and software verification,
- model checking,
- automated deduction,
- modal and temporal logic,
- two-variable fragment, guarded fragment,
- finite model theory,
- foundations of databases.