Huai Jin Peng, 1987 received a master's degree from Harbin Institute of Technology and went to work in Beihang University. 1993 received a doctor's degree from Beihang University and visited Columbia University in the United States with the support of the first batch of outstanding young and middle-aged teachers from the former State Education Commission. He is currently the executive vice president and professor of Beihang University. He is also a member of the National Informationization Expert Advisory Committee, the chief scientist of the National Tenth Five-Year Plan 863 computer theme, the overall team leader of the national e-government pilot demonstration project, and the overall team leader of the national e-government standardization. Huai was born in 1962. 1987 After graduating from the School of Computer and Electrical Engineering of Harbin Institute of Technology, he was assigned to teach at Beihang University. 1990 studied under Professor Li Wei, academician of China Academy of Sciences and former president of Beihang University, and obtained the doctorate of 1993. Huai studied, worked and lived in Beihang University for more than 20 years, and served as executive vice president of Beihang University before taking up his new post. /kloc-since 0/0, Huai has been mainly engaged in the research and development of computer software and theory, computer application, network information security and so on. At present, he is a member of the National Informationization Expert Advisory Committee, the head of the National Tenth Five-Year Plan 863 Computer Science Expert Group, and the head of the National E-government Standardization Overall Group.
Since May 2009, Deputy Secretary of the Party Committee and President of Beihang University (deputy minister level).
Li Wei
Male, born in 1943, Beijinger, doctor of education, member of the State Council Academic Degrees Committee, deputy head of state-owned intelligent computer expert group, etc. Systematically solved the semantic problems of practical parallel programming language, especially the parallel and communication structure, and made a pioneering contribution to the correct translation of parallel programming language. He also put forward the open logic theory, established the limit theory of formal system sequence, proved the optimality of orthogonal design, and made outstanding achievements in the research and application of silicon compilation technology and intelligent computer research.
0 1, in 2002, he served as president and deputy secretary of the Party Committee of Beihang University.