Is Lederer "Professor" at Planet?

[Am Alert]

I know that is his commonly accepted real world nick,
is it his Planet nick too?

Thanks

[BookOfIcculus]

for some odd reason Howard is rather secretive about his screen nmae. So i doubt very much that he is using professor.