Robertova stran MIKI 

 DOMOV   MATEMATIKA   POEZIJA   MEOLIC.COM 

 
BAKOVCI / MARIBOR
SLOVENIJA
 

ZADNJA POSODOBITEV
23. JANUAR, 2021

Hello! I am a computer engineer and scientist. I have a personal research page which is about my work on theoretical computer science, in particular about the binary decision diagrams, process algebrae, temporal logics, and model checking.

Zdravo! Sem računalnikar, ki živi v Mariboru. Imam osebno raziskovalno stran, ki je namenjena mojemu delu na področju teoretičnega računalništva, predvsem o binarnih odločitvenih grafih, procesnih algebrah, temporalnih logikah in metodi preverjanja modelov.

Nisem član nobenega socialnega omrežja, imam pa na internetu številne javne profile in osebne račune (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 tukaj je moj seznam povezav:

FSFE   BillGates   Pirati