Name: Huixing Fang

Institution: East China Normal University

Registration: 2013-04-01

Score: 22

	

	Huixing Fang

	

		Email: fang.huixing at gmail.com


	Present:

	

		Student at East China Normal University, September 2010 - Present



	Previous:

	Software Engineer

	Shanghai NANTIAN Computer System Co.,Ltd, July 2006 - June 2009 (3 years) Shanghai,China

	

		

			Developed monitoring software of ATM for Zhejiang Branch of Agricultural Bank of China. Requirements Analysis. Business logic module development. Java, Struts2, Jsp, Html, Ajax, JQuery, Birt, JDBC.
	
	

		

			Developed ATM software for Zhejiang Branch of Agricultural Bank of China. User interface. Scripts for running steps. Manual Tests. Html, Javascript, Java.
	
	

		

			Developed ATM software for Bank of Nanchang. Participated in technology selection and prototype development. Html, Javascript, Java, Jsp, Spring.
	



	Education:

	

		

			East China Normal University:
		

			MS, Model Checking, CS 2010 - 2013 (expected)
	
	

		

			Yunnan University:
		

			BC, Computer Science 2002 - 2006
	



	Publications:

	

		

			Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi: Formal Verification and Simulation: Co-verification for Subway Control Systems. TASE 2012: 145-152
	
	

		

			Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye: Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. TASE 2012: 223-226
	
	

		

			Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye: xBIL - A Hardware Resource Oriented Binary Intermediate Language. ICECCS 2012: 211-219
	
	

		

			Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang: ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. ICECCS 2012: 293-301
	



	Link:

	

		Google
	

		ICTAC
	

		DBLP
	

		LinkedIn
	

		PSTricks
	

		Tikz
	

		Hui Culture