Simon Siegler

• Verification, Induction, Termination Analysis