Erzsébet Csuhaj-Varjú
Automat algorithm algorithms automata complexity computational geometry computer computer science distributed systems formal language formal languages logic semantics verification algorithm analysis and problem complexity