Indeed, Mike Pall has indicated at various points that the name is a pseudonym:
> Heck, I've done the opposite. There's quite a bit of code out there which I haven't published under my real name (for various reasons). Not any Lua stuff, though. Good luck hunting it down. ;-)
> Heck, I've done the opposite. There's quite a bit of code out there which I haven't published under my real name (for various reasons). Not any Lua stuff, though. Good luck hunting it down. ;-)
http://lua-users.org/lists/lua-l/2009-11/msg00106.html
> I’ve only published AFLG (auto-fast-loader-generator) under my real name in the German “RUN” magazine.
https://www.pagetable.com/?p=656
Of course, like many of the other examples here, unmasking him isn't of much interest to the tabloids since he's not much of a "public figure".