Department of Theory and Technology of Programming

Research Interests:

  • Formal methods.
  • Logic.
  • Formal languages and automata theory.
  • Database theory.

Staff

Contacts

  • Address: 4d Academician Glushkov avenue, offices: 601-603, 611, Kyiv, Ukraine, 03187.
  • Phone: +380(44)259-05-19
  • Web: ttp.unicyb.kiev.ua
  • E-mail: ttp [at] unicyb.kiev.ua