Rchr
J-GLOBAL ID:201801016966309271   Update date: Sep. 01, 2020

Han Jixin

Han Jixin
Affiliation and department:
Research field  (3): Computer systems ,  High-performance computing ,  Information theory
Research keywords  (3): Formal verification ,  Automatic parallelizing technique ,  Compiler system
Papers (5):
Education (3):
  • 2017 - 現在 Waseda University Department of Computer Science and Engineering
  • 2014 - 2017 Waseda University Department of Computer Science and Engineering
  • 2010 - 2014 Beijing Language and Culture University Computer Science and Technology
Professional career (1):
  • 修士(工学) (早稲田大学)
Awards (1):
  • 2019/11 - IEEE-HKN Student Leadership Conference IEEE-HKN Key Chapter
Association Membership(s) (2):
IEEE Computer Society ,  IEEE Eta Kappa Nu (IEEE-HKN)
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page