Name:Felix Wallner

Country:Austria

Affiliation:Institute for Formal Models and Verification, Johannes Kepler University Linz

Research interests:Automata Learning, SAT, Verification, Formal Methods, Formal Models