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