Name:Michal Hečko

Affiliation:Brno University of Technology

Research interests:Formal methods, Decision procedures, Automata, Combinatorics on Words