Research Interests

  • Graph-Theory
  • Formal Languages
  • Parsers, Compilers
  • Formal Logic
  • Logic Programming (Prolog)
  • Object Oriented Programming