Red de conocimiento informático - Conocimiento del nombre de dominio - ¿Quiénes son las personas más destacadas en el campo de la informática teórica en la actualidad?

¿Quiénes son las personas más destacadas en el campo de la informática teórica en la actualidad?

Autor: Wawawater

Enlace: /question/31563284/answer/72950980

Fuente: Zhihu

Los derechos de autor pertenecen al autor. Para reimpresiones comerciales, comuníquese con el autor para obtener autorización. Para reimpresiones no comerciales, indique la fuente.

Los más poderosos son probablemente Manuel Blum y sus discípulos. Muchas de las personas mencionadas anteriormente que ahora se encuentran en los Estados Unidos son discípulos de Blum. . .

Agreguemos a Avi Wigderson de IAS Muchas de las publicaciones enumeradas anteriormente son postdoctorados de Wigderson...

Agregue un poco de Chicory en el campo de combinación, Jacob Fox, es un desastre. ...Maria Chudnovsky también es una persona joven. Ella estudia principalmente la teoría de grafos estructurales, especialmente la estructura prohibida. Recientemente ha estado estudiando para probar la conjetura de Erd?s-Hajnal y una vez ganó el Premio MacArthur.

Otra pequeña historia: estuve charlando con el director hace unas semanas. El director dijo que el grupo teórico de Harvard se ha enriquecido recientemente (Barak y Sudan solían ser uno de ellos). mejores opciones para postdoctorado, pero ahora Harvard va a competir con nosotros...

Para añadir a la diversión, los hermanos del círculo TCS: hermanos Vazirani, hermanos Kleinberg, hermanos Chudnovsky...

Y los dos hijos de Valiant, hermanos Valiant...

En cuanto al campo de combinación, Alon y Lovász pueden ser considerados como las dos mejores personas hoy en día, al menos tan alto como Yao. .Alon ha estado activo recientemente en el noreste (cada semestre de otoño). ¿Están todos en IAS?), vine a Courant para abrir el coloquio hace un tiempo, y luego Gromov tuvo una charla completa con él...

Como se mencionó anteriormente, Cook es alumno de Wang Hao, Braverman es alumno de Cook, Goldreich es discípulo de Wang Hao... Aunque no estoy seguro de la aplicación reciente de la lógica en TCS (¿tal vez sea más PL?), Siento que lo más relevante en TCS debería ser la teoría de la recursión... Pero parece que el departamento de matemáticas de CMU Muy... lógico...

Y Lu Pinyan, China continental está orgulloso... .