Position: Home page » Blockchain » Doctor of Beihang blockchain Research Institute
Doctor of Beihang blockchain Research Institute
Publish: 2021-05-12 20:59:36
1. Professor Hu Kai's research mainly includes:
digital economy and blockchain Technology: he is one of the earliest scholars engaged in blockchain technology in China. He has proposed and developed such theoretical methods as smart contract engineering (SCE), legal code technology, verification as a service (VAAs), etc. in the fields of combination of digital economy and blockchain, planning and consulting of digital economic Park, digital governance of blockchain, and so on Blockchain scalability, Multi Chain interconnection and blockchain formal verification technology have in-depth research and patent achievements. He presided over the research and development of Beihang blockchain series procts, including various forms of blockchain systems with independent intellectual property rights, browsers, monitors, deployment tools and blockchain big data management system (opendata)
distributed parallel computing and network: he has been engaged in cluster computing system, high-performance computing, aerospace electronic bus, and integrated network information technology research in complex computing environment for a long time. He proposed and studied the theory of reconfigurable multi cluster computing based on wolf pack and applied it to practice, and developed several application software systems
formal design and verification methods: in close cooperation with irit and INRIA, we have established a Sino French joint research laboratory for formal methods, studied model driven formal design and verification methods, proposed a number of innovative extension technologies based on AADL and synchronous language signal, and developed a number of model transformation, model validation and verification methods Verification and automatic code generation tools
in recent years, he has published more than 60 papers on SCI / EI retrieval in important academic journals at home and abroad, edited new technologies of network computing (416 pages, published by Science Press in 2001), and cooperatively completed the national authoritative textbook introction to distributed computing system (490 pages, published by Tsinghua University Press in 2014), which won the first prize of 2016 textbook, It has been adopted by more than ten key universities. He has successively presided over and participated in a number of National Natural Science Fund, national key R & D projects, 863 major projects, Junkou 863 project, National Nuclear high-tech foundation project, aerospace fund, and a number of important engineering projects in aerospace field. He won more than 30 national invention patents and soft works, won the five-year achievement award of aviation fund in 2015, and won the second-class innovation achievement award of Instry University Research Institute in 2018.
digital economy and blockchain Technology: he is one of the earliest scholars engaged in blockchain technology in China. He has proposed and developed such theoretical methods as smart contract engineering (SCE), legal code technology, verification as a service (VAAs), etc. in the fields of combination of digital economy and blockchain, planning and consulting of digital economic Park, digital governance of blockchain, and so on Blockchain scalability, Multi Chain interconnection and blockchain formal verification technology have in-depth research and patent achievements. He presided over the research and development of Beihang blockchain series procts, including various forms of blockchain systems with independent intellectual property rights, browsers, monitors, deployment tools and blockchain big data management system (opendata)
distributed parallel computing and network: he has been engaged in cluster computing system, high-performance computing, aerospace electronic bus, and integrated network information technology research in complex computing environment for a long time. He proposed and studied the theory of reconfigurable multi cluster computing based on wolf pack and applied it to practice, and developed several application software systems
formal design and verification methods: in close cooperation with irit and INRIA, we have established a Sino French joint research laboratory for formal methods, studied model driven formal design and verification methods, proposed a number of innovative extension technologies based on AADL and synchronous language signal, and developed a number of model transformation, model validation and verification methods Verification and automatic code generation tools
in recent years, he has published more than 60 papers on SCI / EI retrieval in important academic journals at home and abroad, edited new technologies of network computing (416 pages, published by Science Press in 2001), and cooperatively completed the national authoritative textbook introction to distributed computing system (490 pages, published by Tsinghua University Press in 2014), which won the first prize of 2016 textbook, It has been adopted by more than ten key universities. He has successively presided over and participated in a number of National Natural Science Fund, national key R & D projects, 863 major projects, Junkou 863 project, National Nuclear high-tech foundation project, aerospace fund, and a number of important engineering projects in aerospace field. He won more than 30 national invention patents and soft works, won the five-year achievement award of aviation fund in 2015, and won the second-class innovation achievement award of Instry University Research Institute in 2018.
2. First of all, if conditions permit, try to choose to study in the first tier cities, which are technology gathering areas after all. Secondly, we will examine other aspects, such as teachers, curriculum system, teaching mode, employment salary, tuition hours, etc. Go directly to the audition to investigate the real situation of the school
Yin Cheng, a graate of Tsinghua University, is a top professional in the field of blockchain in China. He is proficient in C / C + +,, golang, python, kalilinux, sicikit learn and tensorflow. He is an EOS open source contributor and has developed many blockchain cryptocurrencies. He once served as Google algorithm engineer and a gold medal lecturer in Microsoft tech.ed conference. He is the most valuable expert in the field of artificial intelligence and blockchain in the world. He also has 15 years of programming experience and 5 years of teaching experience. He is a senior software architect and Intel Software Technology expert. The teaching and research team of blockchain college led by him is mainly composed of master's and doctoral students who graated from Tsinghua University, Peking University and other well-known institutions
the team has rich practical experience in blockchain and has won many blockchain competitions.
Yin Cheng, a graate of Tsinghua University, is a top professional in the field of blockchain in China. He is proficient in C / C + +,, golang, python, kalilinux, sicikit learn and tensorflow. He is an EOS open source contributor and has developed many blockchain cryptocurrencies. He once served as Google algorithm engineer and a gold medal lecturer in Microsoft tech.ed conference. He is the most valuable expert in the field of artificial intelligence and blockchain in the world. He also has 15 years of programming experience and 5 years of teaching experience. He is a senior software architect and Intel Software Technology expert. The teaching and research team of blockchain college led by him is mainly composed of master's and doctoral students who graated from Tsinghua University, Peking University and other well-known institutions
the team has rich practical experience in blockchain and has won many blockchain competitions.
3. I normally use the algorithmic cat aggregate payment, which is very convenient to use, especially the bookkeeping function, which saves a lot of time. I can check the accounts at any time and make it clear at a glance (qiaohu)
4. Blockchain and financial technology have become the hot spots of world investment in recent two years. Central banks and commercial banks in many countries are studying related projects. This is an interdisciplinary research topic, covering finance, computer, law, communication, management, mathematics, statistics, psychology, economics and sociology
the first generation of blockchain is represented by bitcoin chain, and the second generation is represented by ripple and Ethereum chain. These two generations of technologies need to be improved in terms of privacy and scalability, and there is a certain distance from commercial applications of banks, especially in bank settlement and stock trading, which are often mentioned
scholars are developing the third generation blockchain to change the architecture and application scenarios of blockchain. The development of the third generation blockchain will be based on systems engineering, software engineering, cloud computing, big data, computational law and application fields, combined with software, hardware, communication technology and a new application thinking and process
this new thinking is digital society. Gartner Group believes that human beings will enter the digital society in 2016, and blockchain is one of the 10 important technologies in the digital society. This digital society research project will change the financial sector (including banks and exchanges), the legal sector, and even the whole human society
this speech will mention the new blockchain architecture and possible banking application scenarios proposed by Beihang digital society and blockchain laboratory
however, the specific research results are not clear, and now there are many researches on blockchain. There are also many related projects, such as Ethereum, the distributed content publishing platform decent.
the first generation of blockchain is represented by bitcoin chain, and the second generation is represented by ripple and Ethereum chain. These two generations of technologies need to be improved in terms of privacy and scalability, and there is a certain distance from commercial applications of banks, especially in bank settlement and stock trading, which are often mentioned
scholars are developing the third generation blockchain to change the architecture and application scenarios of blockchain. The development of the third generation blockchain will be based on systems engineering, software engineering, cloud computing, big data, computational law and application fields, combined with software, hardware, communication technology and a new application thinking and process
this new thinking is digital society. Gartner Group believes that human beings will enter the digital society in 2016, and blockchain is one of the 10 important technologies in the digital society. This digital society research project will change the financial sector (including banks and exchanges), the legal sector, and even the whole human society
this speech will mention the new blockchain architecture and possible banking application scenarios proposed by Beihang digital society and blockchain laboratory
however, the specific research results are not clear, and now there are many researches on blockchain. There are also many related projects, such as Ethereum, the distributed content publishing platform decent.
5. As far as I know, there is no special blockchain Research Institute in Yunnan. This is just a business topic that will be discussed in universities.
6. Hu Kai presided over the research and development of Beihang blockchain series procts, including various forms of blockchain systems with independent intellectual property rights, browsers, monitors, deployment tools and blockchain big data management system (opendata).
7. Unknown_Error
8. Digital economy and blockchain Technology: he is one of the earliest scholars engaged in blockchain technology in China. He has proposed and developed theories and methods such as smart contract engineering (SCE), legal code technology, and verification as a service (VAAs). He has made great achievements in the combination of digital economy and blockchain, planning and consulting of Digital Economy Park, digital governance of blockchain, scalability of blockchain, and so on There are in-depth research and patent achievements in Multi Chain interconnection and blockchain formal verification technology. He presided over the research and development of Beihang blockchain series procts, including various forms of blockchain systems with independent intellectual property rights, browsers, monitors, deployment tools and blockchain big data management system (opendata)
distributed parallel computing and network: he has been engaged in cluster computing system, high-performance computing, aerospace electronic bus, and integrated network information technology research in complex computing environment for a long time. He proposed and studied the theory of reconfigurable multi cluster computing based on wolf pack and applied it to practice, and developed several application software systems
formal design and verification methods: in close cooperation with irit and INRIA, we have established a Sino French joint research laboratory for formal methods, studied model driven formal design and verification methods, proposed a number of innovative extension technologies based on AADL and synchronous language signal, and developed a number of model transformation, model validation and verification methods Verification and automatic code generation tools
in recent years, he has published more than 60 papers on SCI / EI retrieval in important academic journals at home and abroad, edited new technologies of network computing (416 pages, published by Science Press in 2001), and cooperatively completed the national authoritative textbook introction to distributed computing system (490 pages, published by Tsinghua University Press in 2014), which won the first prize of 2016 textbook, It has been adopted by more than ten key universities. He has successively presided over and participated in a number of National Natural Science Fund, national key R & D projects, 863 major projects, Junkou 863 project, National Nuclear high-tech foundation project, aerospace fund, and a number of important engineering projects in aerospace field. He won more than 30 national invention patents and soft works, won the five-year achievement award of aviation fund in 2015, and won the second-class innovation achievement award of Instry University Research Institute in 2018.
distributed parallel computing and network: he has been engaged in cluster computing system, high-performance computing, aerospace electronic bus, and integrated network information technology research in complex computing environment for a long time. He proposed and studied the theory of reconfigurable multi cluster computing based on wolf pack and applied it to practice, and developed several application software systems
formal design and verification methods: in close cooperation with irit and INRIA, we have established a Sino French joint research laboratory for formal methods, studied model driven formal design and verification methods, proposed a number of innovative extension technologies based on AADL and synchronous language signal, and developed a number of model transformation, model validation and verification methods Verification and automatic code generation tools
in recent years, he has published more than 60 papers on SCI / EI retrieval in important academic journals at home and abroad, edited new technologies of network computing (416 pages, published by Science Press in 2001), and cooperatively completed the national authoritative textbook introction to distributed computing system (490 pages, published by Tsinghua University Press in 2014), which won the first prize of 2016 textbook, It has been adopted by more than ten key universities. He has successively presided over and participated in a number of National Natural Science Fund, national key R & D projects, 863 major projects, Junkou 863 project, National Nuclear high-tech foundation project, aerospace fund, and a number of important engineering projects in aerospace field. He won more than 30 national invention patents and soft works, won the five-year achievement award of aviation fund in 2015, and won the second-class innovation achievement award of Instry University Research Institute in 2018.
9. You can see it on the official website of the Venetian Hotel. There is a transportation guide on the top column of the official website. Click in to have the bus scheles of the Venetian Hotel, the Parisian Hotel and the center of Jinsha city.
10. Professor Hu Kai is a doctoral supervisor of Beihang and director of Beijing computer society. Department of system architecture, School of computer science, Beijing University of Aeronautics and Astronautics, research direction of distributed system. In 2001, he received his Ph.D. in the Department of computer science of Beihang University. From 2001 to 2003, he worked as a research fellow in Nanyang Polytechnic University of Singapore. He participated in Singapore's national key projects of multinational cooperation and co authored the English monograph "anatomy of HCTs" (2006, NUS Publishing).
Hot content