Institute for Formal Methods of Computer Science (FMI)
In research, its departments are active in the fields of theoretical computer science and algorithmics.
Secretary
Head of the Algorithmics Group