Dr Stefan Stanimirović je teoretski naučnik iz oblasti računarstva, specijalizovan za fazi automate, teoriju formalnih jezika i algebarske metode u računarstvu. Njegova istraživanja su usmerena na dizajniranje efikasnih algoritama za determinaciju, bisimulaciju i strukturnu redukciju u fazi sistemima. Njegov doprinos obuhvata kako osnovne aspekte fazi logike, tako i njene algoritamske primene u teoriji automata i relacionim sistemima.