Sem član Laboratorija za algoritmiko. Zanimajo med predvsem inženiring algoritmov, eksperimentalna algoritmika, kombinatorična optimizacija in tudi operacijski sistemi, navidezni stroji, programski jeziki ter sistemska programska oprema; vse skupaj lahko tudi v navezi s formalnimi metodami in modeliranjem.