BAKOVCI
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.
SZ, AP-LJ, Promet, SPIN, ARSO, OPSI, SURS, Geopedia, Prostor, MB okolje, Arcanum, Matricula, FU, eDavki, ZVEM, SIO, Carsized, Neplačniki.
Večer, RTV SLO, Računalniške novice, Monitor, e-fotografija, ZPS, Kvarkadabra, Videolectures, Quanta, Tromba, TheJapanesePage.
Svetovalnica, Fran, Gigafida, termania, Evroterm, PONS, slovenščina.eu, InstaText, Deepl, ChatGPT, Copilot, Gemini, Claude, Perplexity.