My research area mainly concerns linear dynamics and invariant subspaces. Linear dynamics is the theory of studying the properties of orbits of linear and continuous operators on Banach spaces or Fréchet spaces while the study of invariant subspaces consists in determining which operators T do not possess closed subspaces M (different to the empty set and the whole space) so that T(M) is included in M and which spaces support such operators. Beside this research, I have worked on model checking and game theory.