Abstract: In this talk, we introduce Zimmer's conjecture, the proof of Brown-Fisher-Hutardo, and some recent development.