Introducción a Zhao Xishun

Zhao Xishun se graduó en el Departamento de Matemáticas de la Universidad Normal de Henan en julio de 1985, obtuvo una maestría en el Instituto de Software de la Academia China de Ciencias en 1988 y se doctoró en el Departamento de Matemáticas de Universidad de Nanjing en 1999, de abril de 2000 a marzo de 2001. Empleado del Departamento de Matemáticas y Computación de la Universidad de Paderborn, Alemania. En 2001, se incorporó al Instituto de Lógica y Cognición, una base de investigación clave del Ministerio de Educación de la Universidad Sun Yat-sen. Desde 2002, Zhao Xishun ha sido invitado como profesor visitante o para realizar investigaciones colaborativas en la Universidad de Paderborn en Alemania, la Universidad de Hagen en Alemania, la Universidad de Trier en Alemania y la Universidad de Ciencia y Tecnología de Hong Kong. En agosto de 2005, fue invitado a dar un informe especial en la 9ª Conferencia Asiática de Lógica celebrada en Novosibirsk, Rusia. En mayo de 2008, presentó un informe especial en la conferencia internacional "Computabilidad, complejidad y aleatoriedad". Uno de los presidentes de la conferencia académica internacional "La 11ª Conferencia Internacional sobre Teoría y Aplicaciones de las Pruebas de Satisfabilidad".