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

Imprint Privacy policy « This page (revision-3) was last updated on Wednesday, 26. September 2018, 14:32 by System
  • operated by