Univerzitetna izobrazba: Doktoriral leta 2002 na Fakulteti za elektrotehniko, računalništvo in informatiko Univerze v Mariboru s tezo "Odkrivanje zatičnih napak s simboličnim preverjanjem modelov".
Magistriral leta 1998 na Fakulteti za elektrotehniko, računalništvo in informatiko Univerze v Mariboru z nalogo "Verifikacija končnih avtomatov s simboličnim preverjanjem modelov".
Diplomiral leta 1995 na Fakulteti za elektrotehniko, računalništvo in informatiko Univerze v Mariboru z diplomsko nalogo "Simbolično preiskovanje diagramov prehajanja stanj končnih avtomatov". Področje raziskovanja in pedagoškega delovanja: /