Welcome To Jixin's Page!!
                                                                                      Jixin Han

Jixin Han
About me:
--Name: Jixin Han
--Nick Name: kalfazed
--Birthday: December 21, 1992

--1998~2004: Haruhi Primary School(Japan)
--2004~2010: Tianjin No42 HighSchool(China)
--2010~2014: Beijing Language and Culture University(China)
                       University of California(USA,2010~2011)
--2014~2017:  Waseda University, Master course(Japan)
--2017~Now:  Waseda University, Doctor course(Japan)

Research Project:
--The design of Multi-cycle processor based on MIPS(2011~2013)
--The development of security guarteed OS by programming language Coq(2011~2012)
--Research of the Haskell OS, solve the interface problems(2013~2014)
--Time reduction of compilation time by removing reduntant analysis(2016~2017)
--Fomal verification of automatically parallelized compiler(2017~Now)

Area of interest:
--Music: Saxphone, Piano. (I love the music played by Kenny.G and Richard Clayderman!!)
--Sport: Tennis, Hiking, Speed Skating, Swimming
--Game: Cube, Go, Falcom(I do love the story of their games!!!)

My labortory:
--Supervisor: Prof. Keiji Kimura
--Address: Green Computing Systems Research and Development Center, Tokyo, Japan
--Labpage: http://www.apal.cs.waseda.ac.jp

Contact me
--Adress:9-5-12 Higasi-Kasai, Edogawa-ku, Tokyo, Japan 134-0084
--Phone: 080-4061-9625
---Personal Use:kalfazed@gmail.com
---Research Use:kalfazed@kasahara.cs.waseda.ac.jp