<h1>
	Dr Xueyi Zou
</h1>
<p>
	<img src="xueyi.jpg" alt="" height="350" border="0" align="LEFT" /> <br clear="LEFT">
</p>
<p>
	Email: <a href="mailto:xy.zou@outlook.com">xy.zou@outlook.com</a> 
</p>
<!--注释<p>
	<a href="Xueyi's CV.pdf">CV(EN)</a> / <a href="CV_CN_EN.pdf">中英文简历</a>, <a href="https://www.linkedin.com/in/xueyizou">LinkedIn</a> and <a href="https://github.com/xueyizou">GitHub</a>.
</p>-->
<p>
	<a href="https://www.linkedin.com/in/xueyizou">LinkedIn</a> and <a href="https://github.com/xueyizou">GitHub</a>.
</p>
<p>
	&nbsp;
</p>
<h1>
	<span style="color:#ff00ff;">News</span> 
</h1>
<p>
	(9 October 2018) I will work as a project leader at Noah's Ark Lab Moscow research center.
</p>
<p>
	(21 June 2017) I am working with Huawei Technologies at Noah’s Ark Lab.
</p>
<p>
	(12 Dec 2016) I started to work as a R&amp;D intern at BMW ConnectedDrive Lab (Shanghai) focusing on object fusion, a function indispensable for autonomous driving.
</p>
<p>
	(06 Oct 2016) I am accepted as the first group of students to take the Self-Driving Car Nanodegree provided by Udacity. I will be taught by Prof. Sebastian Thrun, the father of Google's Self-driving car.
</p>
<h1>
	Education
</h1>
<ul>
	<li>
		<a>PhD (Sept 2012 - May 2017): Major in Computer Science, University of York, supervised by </a><a href="https://www-users.cs.york.ac.uk/~jam/index.html" target="_blank">Prof. John McDermid </a>and <a href="https://www-users.cs.york.ac.uk/rda/" target="_blank">Dr. Rob Alexander</a>.
	</li>
	<li>
		<a>PhD Candidate (Sept 2010 - Sept 2012. Drop out): Major in Software Engineering, Beihang University.</a> 
	</li>
	<li>
		<a>Bachelor (Sept 2006- July 2010): Major in Reliability and System Engineering, Beihang University.</a> 
	</li>
</ul>
<h1>
	Research Interests
</h1>
<p>
	My current research interests include:
</p>
<ul>
	<li>
		<a>Computer Vision and Deep Learning, specifically, image semantic segmentation, super resolution, and neural network compression.</a> 
	</li>
	<li>
		<a>Visual Odometry and Visual SLAM;</a> 
	</li>
	<li>
		<a>Robot Path and Motion Planning, Collision Avoidance, Planning and Decision Making under Uncertainty;</a> 
	</li>
	<li>
		<a>Automated testing for autonomous systems;</a> 
	</li>
</ul>
<h1>
	Publications
</h1>
<p>
	My <a href="https://scholar.google.com/citations?user=0ua28KoAAAAJ&hl=en">Google Scholar</a> 
</p>
<h3>
	2017
</h3>
<ul>
	<li>
		<p>
			<a href="http://www.prismmodelchecker.org/bibitem.php?key=NPZ17">Verification and Control of Partially Observable Probabilistic Systems</a> <br />
Gethin Norman, David Parker, Xueyi Zou <br />
Real-Time Systems, Springer. 2017
		</p>
	</li>
</ul>
<h3>
	2016
</h3>
<ul>
	<li>
		<p>
			<a href="http://etheses.whiterose.ac.uk/17463/">Supporting Validation of UAV Sense-and-Avoid Algorithms with Agent-Based Simulation and Evolutionary Search.</a> <br />
Xueyi Zou <br />
Department of Computer Science, University of York, Augest, 2016
		</p>
	</li>
	<li>
		<p>
			<a href="https://hal.archives-ouvertes.fr/hal-01318359/document">Validating Unmanned Aerial Vehicle Sense and Avoid Algorithms with Evolutionary Search</a> <br />
Xueyi Zou <br />
Student forum of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), June 2016
		</p>
	</li>
	<li>
		<p>
			<a href="https://www-users.cs.york.ac.uk/~rda/SSIV%20paper-camera-ready.pdf">On the Validation of a UAV Collision Avoidance System Developed by Model Based Optimization: Challenges and a Tentative Partial Solution</a> <br />
Xueyi Zou, Rob Alexander, John McDermid <br />
2nd International Workshop on Safety and Security of Intelligent Vehicles, DSN workshop, June 2016
		</p>
	</li>
	<li>
		<p>
			<a href="http://www-users.cs.york.ac.uk/~rda/AIAAPaper accepted manuscript.pdf">Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective Search</a> <br />
Xueyi Zou, Rob Alexander, John McDermid <br />
Journal of Aerospace Information Systems, April 2016
		</p>
	</li>
</ul>
<h3>
	2015
</h3>
<ul>
	<li>
		<p>
			<a href="http://arxiv.org/pdf/1506.06419.pdf">Verification and Control of Partially Observable Probabilistic Real-Time Systems</a> <br />
Gethin Norman, David Parker, Xueyi Zou <br />
13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015), September, 2015
		</p>
	</li>
</ul>
<h3>
	2014
</h3>
<ul>
	<li>
		<p>
			<a href="http://dx.doi.org/10.1007/978-3-319-10506-2_3">Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search</a> <br />
Xueyi Zou, Rob Alexander, John McDermid <br />
Proceedings of the 33rd International Conference on Computer Safety, Reliability and Security (SAFECOMP '14), September 2014
		</p>
	</li>
</ul>
<h3>
	Earlier
</h3>
<ul>
	<li>
		<p>
			<a href="http://ieeexplore.ieee.org/xpl/login.jsp?tp=&amp;arnumber=5952639&amp;url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D5952639">The methods of FPGA software verification</a> <br />
Ding Zheng, Wang Yichen, Zou Xueyi <br />
IEEE International Conference on Computer Science and Automation Engineering, June 2011
		</p>
	</li>
</ul>
<p>
	<br />
</p>
<p>
	<br />
</p>