= Janusz Brzozowski (computer scientist)
{wiki=Janusz_Brzozowski_(computer_scientist)}
Janusz Brzozowski is a computer scientist known for his contributions to automata theory, formal languages, and verification. He has made significant contributions to the design and analysis of algorithms, particularly in the context of model checking and state space reduction. Brzozowski is perhaps best known for Brzozowski's algorithm for regular expressions and for his work on deterministic finite automata (DFAs).
Back to article page