I am currently a post-doctoral fellow at the institute of Computer Science in Prague. My research interest are related to logic, language and mathematics.