Assistant Professor
Email: xuetao@hust.edu.cn
Academic Areas: Computer Science
Research Interests: Theoretical Computer Science, Image Processing, UAV Mission Planning
Academic Degrees
PhD in Computer Science, 2013, Department of Computer Science, Royal Holloway University of London, United Kingdom
MA in Computer Science, 2008, Institute of Software, China Academy of Sciences, China
BA in Computer Science, 2005, School of Electronics Engineering and Computer Science, Peking University, China.
Professional Experience
Assistant Professor, Huazhong University of Science and Technology, now
Postdoctoral Research Fellow School of Computer Science, McGill University, Canada, 2013-2014
Selected Publications
[1] T. Xue, Z. Luo and S. Chatzikyriakidis. Propositional Forms of Judgemental Interpretations. NLCS18 (affiliated with FLoC), Oxford. 2018.
[2] Yichao Li, Tao Xue, Renfu Li, Xianrong Huang, Lijian Zeng. Influence of a fiberglass layer on the lightning strike damage response of CFRP laminates in the dry and hygrothermal environments, Composite Structures, 2018, 187: 179-189.
[3] Tao Xue, Renfu Li, Myongchol Tokgo, Cholhun Han, Junchol Ri. Trajectory planning for Autonomous Mobile Robot using a hybrid improved QPSO algorithm. Soft Comput (2017) 21:2421–2437.
[4] Yuanyuan Zhang, Renfu Li, Tao Xue, Zhikun Lei. Exponential sliding mode tracking control via back-stepping approach for a hypersonic vehicle with mismatched uncertainty. Journal of the Franklin Institute 353:10, 2319-2343, 2016
[5] Yuanyuan Zhang, Renfu Li, Tao Xue, Zhimin Liu, Zongxin Yao. An analysis of the stability and chattering reduction of high-order sliding mode tracking control for a hypersonic vehicle. Inf. Sci. 348: 25-48 (2016)
[6] Tao Xue. Definitioanl Extension in Type Theroy. 19th International Conference on Types for Proofs and Programs (TYPES 2013), LIPIcs, Volume 26, pp251-269, 2014.
[7] Zhaohui Luo, Sergei Solviev and Tao Xue. Coercive Subtyping: Theory and Implementation. Information and Computation, Volume 223, pp. 18-42, February, 2013.
[8] Tao Xue and Zhaohui Luo, Dot-types and their implementation. Logical Aspect of Computational Linguistics 2012. Lecture Notes of Computer Science vol.7351, pp. 234-249, Springer, 2012.
Courses Taught
Mission Planning of UAV, Partial Differential Equations
Project
A Research of Multi-mission Planning Based on Temporal Logic, Natural Science Foundation of Hubei, 2019-2020.
Awards
