That would have been him too. He was almost certainly autistic. My brother has been diagnosed, I’m on the very edge according to an evaluation I was once given, and there are other members of my family who have since been diagnosed with it. But yes, he was just thought of as an eccentric professor and he was proud of that.