My research area is broadly referred to as theoretical foundations of system design. The research questions are derived by the need to increase the reliability of computerized systems (or programs) and the assurance of their correctness. The methods for solving these problems often lean on logic, automata theory, algorithmic game theory and machine learning. My current research is focused on automata learning.