I am an assistant professor at Faculty of Electrical Engineering and Computer Science (FERI) on University of Maribor. I am very interested in IT news. My research work is mostly oriented towards binary decision diagrams (BDDs), process algebrae (CCS, CSP), temporal logics (CTL, ACTL, ACTLW) and model checking. It is all about math, more precisely about verification of systems with formal methods. Here is my personal library. Here are some of my publications: