Caelan Atamanchuk: Caelan was the person who I wrote my first paper with; he does anything that combines both combinatorics and probability — and loves fishing more then both of those topics.
Jack McKoen: Jack first introduced me to LEAN. He works at formalizing category theory using LEAN, a task which seems impossible to my discrete math mindframe, but he's doing it.