KONG Weiqiang

Personal Information

More  >>

Professor   Supervisor of Doctorate Candidates   Supervisor of Master's Candidates  

Education BackgroundMore>>

2003.10 2006.9

  • Japan Advanced Institute of Science and Technology
  • Information Science
  • Ph.D.

2000.9 2003.6

  • Wuhan University
  • Computer Science
  • M.S.

1996.9 2000.6

  • Wuhan University
  • Computer Science
  • B.S.

Work ExperienceMore>>

2014.9 Now
  • Dalian University of Technology, China
  • School of Software Technology
  • Head of Department of Software Egnineering
  • Professor
2012.1 2014.9
  • Kyushu University, Japan
  • IS&EE
  • Research Associate Professor
2008.11 2011.12
  • Fukuoka Industry, Science and Technology (Fukuoka IST), Japan
  • Researcher

Social Affiliations

Research Focus

  • Trustworthy Software Technology: Enhance the reliability of software systems through utilizing formal techniques, e.g., interactive theorem proving or model checking.