My research interests are in the field of automated reasoning, computer algebra systems, semantic document analysis, mathematical formula recognition and in the combination of semantics with law. Some particular PhD topics include:

• Examining representation and rerepresentation issues of satisfiability problems
• Automated classification in ring and module theory
• Combining feature vectors for mathematical formula recognition
• Semantic Services for Law databases

If you are interested in doing a PhD with me please inquire by email or drop by my office.