MIKI

Robertova stran

ZADNJA POSODOBITEV
15. AVGUST, 2024

Hello! I am a computer engineer and scientist with a passion for theoretical computer science. This is my personal page. You can check also my research page which is about my work on binary decision diagrams, process algebrae, temporal logics, and model checking.

Zdravo! Sem računalnikar, ki živi v Mariboru. To je moja osebna stran. Obiščeš lahko tudi mojo raziskovalno stran, ki je namenjena mojemu raziskovalnemu delu na področju teoretičnega računalništva, predvsem o binarnih odločitvenih grafih, procesnih algebrah, temporalnih logikah in metodi preverjanja modelov.

Na internetu imam nekaj javnih profilov (glej desno). Uporabljam vzdevke S56SEO, Odgovorni Štrk, strk23 in druge. Sem aktivni ali pa bivši član strokovnih združenj PAZU, IEEE, ED Maribor in SIKOM.

V zgodnjih časih svetovnega spleta ni bilo vsemogočnih iskalnikov, zato smo na svoji domači strani zbirali zanimive povezave. Navada je železna srajca in spodaj je moj seznam povezav.

Knjižnice / Knjigarne

COBISS, WC, NPOZ, OL, Gutenberg, MK, SK, Sanje, Beletrina, Kobo, Wob.

Nakupovanje / Oglasi

MimoVrste, BB, SO, inservio, Galago, SPH, ZH, Ceneje, GH, Bolha, Podarimo.

FSFEBill GatesPirati