!!Wei Li - Curriculum Vitae
\\
__EDUCATION__
\\
*1979 - 1983 Ph.D. in Computer Science, University of Edinburgh, UK\\
*1961 - 1966 B.Sc. in Mathematics, Peking University, China\\
\\
__EDITORIAL__
\\
*2008 - 2017 Editor-in-Chief, SCIENCE CHINA Information Sciences. Science China Press, Beijing and Springer, Berlin\\
*2007 - Present, Editor-in-Chief, Frontiers of Computer Science. Higher Education Press, Beijing and Springer, Berlin\\
*1994 - Present Editor, Journal of Computer Science and Technology. Science Press, Beijing\\
\\
__INVITED TALKS__
\\
*Some Key Software Technologies for iCity Development. Third Sino-German iCity Workshop 2014, Wuhan, China\\
*R-calculus: A Logical Framework for Scientific Discovery. IJCAI 2013, Beijing, China\\
*R-Calculus: A Logical Inference System for Scientific Discovery. TAMC 2012, Beijing, China\\
*Symbolic Verification for Scientific Discovery. SCSS 2010, Hagenberg, Austria\\
*A Logical Framework for System Revision. SRDS 2007, Beijing, China\\
\\
__CONFERENCE ORGANIZATION__
\\
*Co-Founder of PAS and Program Co-Chair of PAS 2013 (Beijing), 2014 (Beijing), 2015 (Vienna)\\
*General Co-Chair for the First Intern Summit Forum of Aeronautics Sci &Tech (Beijing, China, 2007)\\
*Honorary Chair for AISC 2006 (Beijing, China, 2006)\\
\\
__RESEARCH PROJECTS__
\\
*Chief Scientist, 973 Projects, National Basic Research Program of China, 1999-2004 and 2005-2010\\
\\
__ACADEMIC ADMINISTRATION__
\\
*2012 - Present Director, Standing Committee of the Academic Division of Information Technological Sciences of the Chinese Academy of Sciences, China\\
*2010 - Present Member, National Educational Advisory Committee, China\\
*2008 - Present Member, Advisory Committee of the Ministry of Science and Technology, China\\
*1986 - Present Member, Academic Degrees Committee, State Council, China\\
*2002 - 2009 President, Beihang University, China\\
*2003 - 2006 Director, Expert Team for the Major National Project on Large Aircraft Manufacturing, State Council, China\\
*1999 - 2002 Chairman, Steering Committee of Education on Advanced Networks of the Ministry of Education, China\\
*1987 - 1998 Vice Chairman, Steering Committee of Advanced Computer Technology of the National High-Tech R&D Program, China\\
*1990 - 1995 Member, Committee of Science and Technology of the Ministry of Education, China\\
\\
__SUPERVERSION__
\\ \\
Supervised 8 Post-docs, 52 Ph.D., and over 100 graduate students\\ \\