Encountered is much more formal than met , but both are correct in your sentence. Ran into is not correct in your example, but run into (very informal) would work. (Ran is simple past tense.
New words, one handy idiom, and a 2-minute quiz — delivered to your inbox to keep your streak alive.