No, his real name has been on HN before.
I'm sure you could find it, but... why?
Though I'm not entirely certain the authors didn't just make up a name to fit the citation style. I don't see any reason why they would have any information the internet at large doens't.