Alexander Zapryagaev joined the group as postdoc

Alexander Zapryagaev has finally joined the group as postdocs. He works on Formal arithmetics, interpretations and automatic structures.