Name:Anton Wijs

Country:Netherlands

Affiliation:Eindhoven University of Technology

Research interests:model checking, equivalence checking, multi-core computing, gpu computing, graph transformation