Works in mathematics and theoretical computer science, likening the activity to contemporary art—being both artist and critic.
Research interests include unambiguous automata (during work) and ambiguous novels (in free time), with a blurry boundary between the two.
Interested in interactions among algebra, combinatorics, and algorithms, motivated by problems in automata theory, computer algebra, and program analysis.
Main focus: matrix semigroups, weighted automata, and algorithms/complexity of algebraic problems.
Also interested in coding theory and semigroup theory.
Research philosophy emphasizes collaboration, understanding over problem-solving, bridge-building across fields, and a passion for theory over applications.