Foundations of Computer Science and Databases Group
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.