I think my Erdos number is 5.

  • Me
  • Sebastian Scherer
  • Edmund Clarke

Edmund Clarke seems to have an Erdos number of 3. See this link.