It's possible that:
* The name is misspelled: Double-check the spelling to ensure it's accurate.
* The person is not publicly known: There might be many people with this name, and if this individual is not a prominent figure in the industry, their involvement might not be easily found online.
* The person uses a different name professionally: Look for other potential names or aliases they might be using in their work.
If you can provide more details about Michael Gilbert Lewis, such as his role in the projects or the specific time period, it might be easier to identify him.