ÿþ<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> <!--èlÊ‘<p> <a href="Xueyi's CV.pdf">CV(EN)</a> / <a href="CV_CN_EN.pdf">-Nñ‚‡e€{†S</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>