to have discovered (or “to discover”) him Both are correct. I assume that you would want to stress that the teachers and students had already discovered him before they began to attend his lectures. If so, then 'to have discovered' would get your point across better.
New words, one handy idiom, and a 2-minute quiz — delivered to your inbox to keep your streak alive.