Research
I'm currently conducting research on computational complexity and theory of computation, primarily concentrated in the fields of descriptive complexity theory and algebraic automata theory. In the past, I conducted research on programming languages for quantum computers.