pom. akad. dr. Robert Meolic
Znanstvena veda: Tehnika
Znanstveno področje: Računalništvo in informatika
E-pošta: [email protected]
Zaposlitev: Elektroinštitut Milan Vidmar Ljubljana
Bibliografija:
Osebna bibliografija COBISS
Univerzitetna izobrazba:
Doktoriral leta 2005 na Fakulteti za elektrotehniko, računalništvo in informatiko Univerze v Mariboru s tezo "Akcijska logika dreves izvajanja z operatorjem unless". Magistriral leta 1999 na Fakulteti za elektrotehniko, računalništvo in informatiko Univerze v Mariboru z nalogo "Preverjanje pravilnosti obnašanja sistemov s sočasnostjo". Diplomiral leta 1995 na Fakulteti za elektrotehniko, računalništvo in informatiko Univerze v Mariboru z diplomsko nalogo "Uporaba urejenih odločitvenih grafov pri računalniški obdelavi logičnih funkcij".
Področje raziskovanja in pedagoškega delovanja:
Formalna verifikacija sistemov, procesne algebre, temporalne logike, binarni odločitveni graf (BDD), model checking
Znanstvena veda: Tehnika
Znanstveno področje: Računalništvo in informatika
E-pošta: [email protected]
Zaposlitev: Elektroinštitut Milan Vidmar Ljubljana
Bibliografija:
Osebna bibliografija COBISS
Univerzitetna izobrazba:
Doktoriral leta 2005 na Fakulteti za elektrotehniko, računalništvo in informatiko Univerze v Mariboru s tezo "Akcijska logika dreves izvajanja z operatorjem unless". Magistriral leta 1999 na Fakulteti za elektrotehniko, računalništvo in informatiko Univerze v Mariboru z nalogo "Preverjanje pravilnosti obnašanja sistemov s sočasnostjo". Diplomiral leta 1995 na Fakulteti za elektrotehniko, računalništvo in informatiko Univerze v Mariboru z diplomsko nalogo "Uporaba urejenih odločitvenih grafov pri računalniški obdelavi logičnih funkcij".
Področje raziskovanja in pedagoškega delovanja:
Formalna verifikacija sistemov, procesne algebre, temporalne logike, binarni odločitveni graf (BDD), model checking