A masters student in robotics engineering. I appreciate rigorous mathematical approach. Primarily interested in formal logics, automata theory and game theory.