Yao Xu is an undergraduate student at the School of Information Management, Nanjing Agricultural University. Currently pursuing studies towards a bachelor's degree, he has been dedicated to exploring the applications of logistics engineering theories and technologies in various industrial contexts. His research interests span across formal analysis, resource management, data curation, and visualization. He is particularly intrigued by how formal analysis can be employed to establish rigorous mathematical frameworks for dissecting complex logistics systems and phenomena, and how effective resource allocation and high-quality data curation can bolster logistics research initiatives, while intuitive visualization can enhance the communication of logistics research results. Though still in the undergraduate stage, he has actively engaged in research - related learning and practice, aiming to contribute to the academic community in the future through solid foundational work and exploration in these areas.