¿Cuál es la investigación blockchain del profesor Hu Kai?

La investigación del profesor Hu Kai incluye principalmente:

Economía digital y tecnología blockchain: es uno de los primeros investigadores dedicados a la tecnología blockchain en China. Propuso y desarrolló métodos teóricos como Ingeniería de Contratos Inteligentes (SCE), tecnología de código legal y Verificación como Servicio (VaaS). Hay investigaciones en profundidad y resultados de patentes en la integración de la economía digital y blockchain, la planificación y consultoría de parques económicos digitales, la gobernanza digital de blockchain, la escalabilidad de blockchain, la interconexión de múltiples cadenas y la tecnología de verificación formal de blockchain. Presidió el desarrollo de una serie de productos blockchain de BUAA, que incluyen diversas formas de sistemas blockchain, navegadores, monitores, herramientas de implementación y sistemas de gestión de big data blockchain (OpenData) con derechos de propiedad intelectual independientes.

Redes y computación paralela distribuida: He estado involucrado durante mucho tiempo en la investigación de sistemas informáticos en clúster, computación de alto rendimiento, autobuses electrónicos aeroespaciales y tecnología de información de redes integradas espacio-tierra en entornos informáticos complejos. y estudió tecnología de información de red confiable basada en lobos, reconstruyó la teoría de la computación de múltiples clústeres y la aplicó a la práctica, y desarrolló múltiples sistemas de software de aplicaciones.

Métodos formales de diseño y verificación: en estrecha cooperación con el Instituto de Ciencias de la Computación de Toulouse (IRIT) y el Instituto Francés de Automatización (INRIA), se creó un laboratorio de investigación conjunto chino-francés para estudiar sistemas basados ​​en modelos. métodos formales de diseño y verificación, propuso una serie de tecnologías de extensión innovadoras basadas en AADL y señales de lenguaje sincronizadas, y desarrolló múltiples herramientas de conversión de modelos, verificación y generación automática de código.

En los últimos años, ha publicado más de 60 artículos indexados SCI/EI en importantes conferencias de revistas académicas en el país y en el extranjero. Es el editor en jefe de "New Technologies in Network Computing" (416). páginas, publicado por Science Press en 2001), y ha cooperado para completar el libro de texto nacional autorizado "Introducción a los sistemas de computación distribuida" (490 páginas, publicado por Tsinghua University Press en 2014). Ha presidido y participado en una serie de Fundación Nacional de Ciencias Naturales de China, proyectos nacionales clave de I+D, 863 proyectos importantes, 863 proyectos militares, proyectos nacionales de alta tecnología nuclear, fondos aeroespaciales y muchos proyectos importantes de ingeniería en el campo aeroespacial. Ha ganado más de 30 patentes de invención y trabajos de software nacionales. En 2015, ganó el Premio al Logro de Cinco Años del Fondo de Aviación. En 2018, ganó el Premio al Logro de Innovación de segunda clase de la Sociedad de Industria, Universidad y Investigación por su liderazgo. el "Diseño de Verificación y Simulación del Sistema de Información Integrado Espacio-Tierra".