Research Areas

  • Numerical Algorithms

  • Human Computer Interaction

  • Automated Problem Solving, Theorem Proving and Logical Reasoning

  • Programming Languages