La experiencia académica de Lin Huimin

Obtuvo una licenciatura en software del Departamento de Ciencias de la Computación de la Universidad de Fuzhou en febrero de 1982.

Recibió un doctorado en teoría de la informática del Instituto de Software de la Academia de Ciencias de China en junio de 1986. 65438 Septiembre 0986-1987 65438 Febrero Laboratorio Básico de Ciencias de la Computación, Universidad de Edimburgo, Reino Unido

1988 65438 Octubre-1990 Marzo Profesor asociado, Instituto de Software, Academia China de Ciencias

65438 Abril 0990-65438 Abril de 0993 Investigador, Universidad de Sussex, Reino Unido

1993 Investigador, Instituto de Software, Academia China de Ciencias

1994 Supervisor doctoral, Sala 112, Instituto de Software, Academia China de Ciencias

1999 Director del Laboratorio Estatal Clave de Ciencias de la Computación, Instituto de Software, Academia de Ciencias de China 1990 Miembro del consejo editorial de Journal of Software.

1994 Vicepresidente del Comité de Informática Teórica de la Federación de Informática de China

1997 Profesor adjunto de la Escuela de Graduados de la Universidad de Ciencia y Tecnología de China

1999 Comité editorial de las ediciones china e inglesa de la Revista China de Ciencias de la Computación. Lin, Pan: un operador de álgebra procedimental. Métodos formales en diseño de sistemas, volumen 7, número 3, páginas 243-259.1995. kluweracademicpublishers 2. H. Lin, AVerificationTool para álgebra de procesos de transmisión de valores. IFIPTransactionsC-16: Especificación, prueba y validación de protocolo, página 79-92.1993. Holanda del Norte.

3. Hennessy y Lin, simulación simbólica. Informática teórica, volumen 138, páginas 353-389.

4.M y H.Lin, demuestran el sistema de álgebra de procesos de transferencia formal. "Espectro de formas computacionales" Volumen 8, páginas 397-407.1996. Springer-Verlag.

5.H.Lin, Gráfico de transformación simbólica con asignación, proc 7 delgada oncurrencytheory, Pisa, Italia, 26-29 de agosto de 1996. Ciencias de la Computación Volumen 1119, páginas 50-56. Springer-Verlag.

6. Instanciación dinámica del proceso de transferencia de valor. proc.jointinternational Conferenceonformaldescriptiontechniquesforddistributedsystemsandcommunicationprotocosandprotocolspecification,TestingandVerification,París,Francia,noviembre de 1998.PP.215-230.kluweracademicpublishers.

7. Lin, Sistemas de inferencia completos en cálculo avanzado. proc.6 conferencia conjunta internacional sobre la teoría y la práctica del desarrollo de software, Aarhus, Dinamarca 1995. Conferencias de informática, volumen 915, páginas 187-201. Springer-Verlag.

8. Lin, Inducción única de puntos de fijación para procesos móviles. proc.6 conferencia internacional sobre teoría de la moneda. Filadelfia, EE. UU., agosto de 1995. Lecture Notes in Computer Science, volumen 962, páginas 88-102. Springer-Verlag.

9. Lin, sistemas de prueba completos para observación congruencia de control infinito pi-cálculo. Actas del 25º Simposio Internacional sobre Lenguajes y Programación, Aalborg, Dinamarca, julio de 1998. Ciencias de la Computación Volumen 1443, páginas 443-454. Springer-Verlag.

10. Lin, implementación de programa de especificación algebraica. Transacciones ACM sobre lenguajes y sistemas de programación, volumen 15, número 5, páginas 876-895. Prensa ACM. Con respecto a aquellos que hacen afirmaciones falsas en los círculos científicos y tecnológicos para ganar fama, "realmente no puedo creer el Premio al Progreso Científico ahora". En la discusión del grupo conjunto del sector de ciencia y tecnología de la CCPPCh de 2010, el miembro Lin Huimin se sorprendió. Este académico de 62 años de la Academia de Ciencias de China y destacado experto en software y teoría informática dijo que una vez lo invitaron a revisar un proyecto y descubrió que el contenido de los materiales premiados era falso. Lin Huimin pidió mayores esfuerzos para reformar a fondo el mecanismo de selección de premios de ciencia y tecnología y poner fin al caos actual de premios falsos, a fin de mantener la credibilidad de los premios de ciencia y tecnología y lograr equidad y justicia en el sistema de evaluación de ciencia y tecnología. De lo contrario, se reducirá gravemente el entusiasmo de los investigadores científicos y se dañará el espíritu innovador del país.

Lin Huimin dijo: "Ahora recibimos un premio para promover las ventas. Incluso los empresarios tienen dudas. La gente preguntará: ¿Cuánto gastaron para evaluar este premio?"

Lin Huimin's Las palabras causaron una gran controversia. Algunos miembros dijeron que el público es muy consciente de los problemas que plantean los premios de ciencia y tecnología, lo cual es muy malo. La experiencia de los miembros del comité es común en el mundo de la tecnología. La Sociedad Jiusan llevó a cabo una encuesta principalmente entre profesores universitarios y personal científico y tecnológico de institutos de investigación científica. Entre las 7.699 muestras válidas, el 70,3% de los encuestados creía que los resultados de valoración y recompensa de los logros científicos y tecnológicos de mi país "dependen del nivel de los logros y de determinadas actividades de relaciones públicas", mientras que sólo el 12,5% creía que "principalmente Depende del verdadero nivel de los logros."

Los expertos de la industria dijeron que a lo largo de los años, básicamente no ha habido controversia sobre el premio de tecnología más importante del país y el primer premio de los tres premios principales. Lo que está en juego es este premio. "Esto demuestra que la cantidad es grande, pero la calidad no es tan alta. Incluso si no hay fraude, ¿es realmente tan alto el nivel científico y tecnológico de nuestro país? Aunque el método de escritura en los materiales premiados ha alcanzado los niveles más avanzados del mundo. nivel y resolvió problemas de clase mundial, pero ¿cuál de estos premios se puede comparar a nivel internacional? De hecho, hay agua "El problema ahora es que los premios otorgados por asociaciones industriales, sociedades y organizaciones sociales también son difíciles de convencer al público. La raíz del problema reside en la excesiva administrativaización de las identidades académicas * *. El personal administrativo no comprende el estatus académico * * * y sólo puede utilizar estándares cuantitativos para medirlo, y los investigadores científicos tienen que cumplir porque el personal administrativo tiene el poder de asignar recursos. Las matemáticas son un mal nombre. El libro que leí en la escuela primaria se llamaba aritmética, no matemáticas. Tenía características chinas y estaba estrechamente relacionado con las computadoras. La aritmética es el método para enseñarle a hacer cálculos, como la multiplicación de varios dígitos. Entonces, ¿cómo hacerlo? Tienes un método. Tienes que memorizar el formulario y entonces lo sabrás. Por ejemplo, si multiplicas 142 por 98, sabrás cómo sesgar la posición. El profesor te enseñará esta regla. Las unidades se multiplican por unidades, luego las unidades del multiplicador se multiplican por el dígito de las decenas del multiplicando. Entonces tienes que acordarte de traerlo. Estas son reglas mecánicas. Las llamadas leyes mecánicas son las que las computadoras pueden entender. Las computadoras son cosas mecánicas. A diferencia de los humanos, que tienen cerebro y son muy inteligentes. Las computadoras son estúpidas. Entonces puedes multiplicar, puedes dividir, puedes programar. Creo que es muy importante participar en la educación informática en las escuelas intermedias e incluso en las escuelas primarias, porque las computadoras se popularizarán en toda la sociedad en el futuro y nadie podrá vivir sin computadoras en el futuro. Porque no todos los estudiantes podrán ir al departamento de informática de la universidad en el futuro, e incluso si van a la universidad, sólo un pequeño número irá al departamento de informática. De ahí la popularización de la educación informática entre las escuelas primarias y secundarias. Los estudiantes son extremadamente importantes, lo cual es muy importante para toda la sociedad y el desarrollo futuro. Este es un paso crítico para que los estudiantes se gradúen, se incorporen a la sociedad y se adapten a los desafíos de la nueva sociedad de la información. Mirando hacia atrás, al menos cuanto más joven soy, mejor es mi pensamiento algorítmico y más se adapta mi forma de pensar a la programación, por lo que me viene a la mente la aritmética.

La reunión del informe estuvo presidida por Fan Genghua, vicepresidente y decano de la Facultad de Matemáticas. El académico Lin Huimin es un alumno de nuestra universidad con especialización en matemáticas. En 1999, fue elegido académico de la Academia de Ciencias de China. El informe incisivo y razonable del académico Lin Huimin fascinó a los profesores y estudiantes presentes y se ganó aplausos. El informe fue todo un éxito.