Research

I am a member of the Scientific Document Analysis Group.

Research Interests

  • Scientific Document Analysis:
    Mathematical OCR, Formula Recognition, Diagram Recognition, Semantic Document Analysis, Handwritten Documents.
  • Accessibility:
    Accessibility of scientific content such as formulas and diagrams.
  • Computer Algebra:
    Symbolic Computation with Underspecified Matrices and correctness of Computer Algebra Algorithms
  • Logic and Automated Reasoning:
    Integration of Reasoning Techniques, Automatic Mathematical discovery, Logical represenation of intuitive objects.

Current Projects