Alexander Leitsch

• Automated reasoning
• Methods of Cut-Elimination
• The Resolution Calculus