Research interests:

• Theoretical Computer Science

  - Structural computational complexity

• Mathematics' Foundation

  - Logic

• Problem P =? NP