<h3>
	<img src="http://fanghuixing.github.com/assets/images/13238568880001740m.jpg" style="FLOAT: right; MARGIN-BOTTOM: 10px; MARGIN-RIGHT: 20px" /></h3>
<h3 id="huixing_fang">
	Huixing Fang</h3>
<ul>
	<li>
		Email: fang.huixing at gmail.com</li>
</ul>
<h3 id="present">
	Present:</h3>
<ul>
	<li>
		Student at East China Normal University, September 2010 - Present</li>
</ul>
<hr />
<h3 id="previous">
	Previous:</h3>
<p>
	<strong>Software Engineer</strong></p>
<p>
	<strong>Shanghai NANTIAN Computer System Co.,Ltd, July 2006 - June 2009 (3 years) Shanghai,China</strong></p>
<ul>
	<li>
		<p>
			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.</p>
	</li>
	<li>
		<p>
			Developed ATM software for Zhejiang Branch of Agricultural Bank of China. User interface. Scripts for running steps. Manual Tests. Html, Javascript, Java.</p>
	</li>
	<li>
		<p>
			Developed ATM software for Bank of Nanchang. Participated in technology selection and prototype development. Html, Javascript, Java, Jsp, Spring.</p>
	</li>
</ul>
<hr />
<h3 id="education">
	Education:</h3>
<ul>
	<li>
		<p>
			East China Normal University:</p>
		<p>
			MS, Model Checking, CS 2010 - 2013 (expected)</p>
	</li>
	<li>
		<p>
			Yunnan University:</p>
		<p>
			BC, Computer Science 2002 - 2006</p>
	</li>
</ul>
<hr />
<h3 id="publications">
	Publications:</h3>
<ul>
	<li>
		<p>
			Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi: Formal Verification and Simulation: Co-verification for Subway Control Systems. TASE 2012: 145-152</p>
	</li>
	<li>
		<p>
			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</p>
	</li>
	<li>
		<p>
			Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye: xBIL - A Hardware Resource Oriented Binary Intermediate Language. ICECCS 2012: 211-219</p>
	</li>
	<li>
		<p>
			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</p>
	</li>
</ul>
<hr />
<h3 id="link">
	Link:</h3>
<ul>
	<li>
		<a href="http://google.com/" title="Google">Google</a></li>
	<li>
		<a href="http://ictac2013.ecnu.edu.cn/index.htm" title="ICTAC">ICTAC</a></li>
	<li>
		<a href="http://www.informatik.uni-trier.de/%7Eley/pers/hd/f/Fang:Huixing.html" title="DBLP">DBLP</a></li>
	<li>
		<a href="http://cn.linkedin.com/pub/huixing-fang/3a/1b2/31" title="LinkedIn">LinkedIn</a></li>
	<li>
		<a href="http://tug.org/PSTricks/" title="PSTricks">PSTricks</a></li>
	<li>
		<a href="http://www.texample.net/tikz/" title="Tikz and PGF">Tikz</a></li>
	<li>
		<a href="http://www.go2huangshan.com/info/12.aspx" title="Hui Culture">Hui Culture</a></li>
</ul>
<hr />
<p>
	<img src="http://fanghuixing.github.com/assets/images/name.jpg" style="FLOAT: right; MARGIN-BOTTOM: 0px; MARGIN-right: 5px;height: 30px;width: 82px;" /></p>