Dr. Stefan Stanimirović is a theoretical computer scientist specializing in fuzzy automata, formal language theory, and algebraic methods in computation. His research focuses on designing efficient algorithms for determinization, bisimulation, and structural reduction in fuzzy systems. His contributions span both the foundational aspects of fuzzy logic and its algorithmic applications in automata theory and relational systems.