Isabelle logo

Manuel Eberl

Chair for Logic and Verification

My Erdős number is at most 4:

Manuel Eberl
→ Felix Brandt
→ Lane A. Hemaspaandra
→ Kenneth Kunen
→ Erdős Pál