Jack McKoen: Everyone knows that one person who is into theorem provers and that one person who is into category theory, this guy is a two for one deal.

Caelan Atamanchuk: He does both combinatorics and probability, and he loves fishing more than both of them. Also, my first ever paper is with him.