Predstavitev
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