pom. akad. dr. Aleš Časar 
Znanstvena veda: Tehnika
Znanstveno področje: Računalništvo in informatika
E-pošta: [email protected]
Zaposlitev: RTV Slovenija
Bibliografija:
Osebna bibliografija COBISS
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:
/
Znanstvena veda: Tehnika
Znanstveno področje: Računalništvo in informatika
E-pošta: [email protected]
Zaposlitev: RTV Slovenija
Bibliografija:
Osebna bibliografija COBISS
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:
/