Just a quick note: Rahul Ilango is a phenomenal theoretical CS researcher who has made great progress towards understanding the "Minimum Circuit Size Problem" [MCSP], long believed to be, but not yet proven, NP hard. Needless to add, "the username checks out".