Ziyan An

Vanderbilt University Institute for Software Integrated Systems. 1025 16th Ave S, Nashville, TN 37212

(863) 303-2399

ziyan DOT an AT vanderbilt DOT edu

I am a second-year Ph.D. student in Computer Science at Vanderbilt University, where I have been awarded the Dean’s Graduate Fellowship. I am very fortunate to have the guidance and mentorship of Dr. Meiyi Ma as my advisor.

My primary research interest lies in the design of AI-based systems that seamlessly integrate formal specifications and leverage prior knowledge. By combining these elements, I aim to develop advanced AI solutions that are more robust, reliable, and capable of addressing real-world challenges effectively.

Prior to joining Vanderbilt University, I earned my B.S. in Computer Science from New York University. During my academic journey, I had the invaluable opportunity to intern at Sunthetics as a Machine Learning software engineer, where I worked under the guidance of Dr. Daniela Blanco. Additionally, I served as a research assistant in the computer vision domain at AI4CE Lab of NYU, under the mentorship of Prof. Chen Feng.

Publications

  1. V2X-Sim
    V2X-Sim: Multi-agent collaborative perception dataset and benchmark for autonomous driving
    Li, Yiming, Ma, Dekun, An, Ziyan, Wang, Zixun, Zhong, Yiqi, Chen, Siheng, and Feng, Chen
    IEEE Robotics and Automation Letters 2022
  2. V2X-Sim
    V2X-Sim: A Virtual Collaborative Perception Dataset for Autonomous Driving
    Li, Yiming, An, Ziyan, Wang, Zixun, Zhong, Yiqi, Chen, Siheng, and Feng, Chen
    arXiv preprint arXiv:2202.08449 2022
  3. Fairguard
    Fairguard: Harness Logic-based Fairness Rules in Smart Cities
    Zhao, Yiqi, An, Ziyan, Gao, Xuqing, Mukhopadhyay, Ayan, and Ma, Meiyi
    In IoTDI ’23: Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and Implementation 2023
  4. FedSTL
    Guiding Federated Learning with Inferenced Formal Logic Properties
    An, Ziyan, and Ma, Meiyi
    In Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023) 2023
  5. MARL
    Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications
    Wang, Jiangwei, Yang, Shuo, An, Ziyan, Han, Songyang, Zhang, Zhili, Mangharam, Rahul, Ma, Meiyi, and Miao, Fei
    arXiv preprint arXiv:2306.06808 2023
  6. Spec4Video
    Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models
    An, Ziyan*, Wang, Xia*, Johnson, Taylor, Sprinkle, Jonathan, and Ma, Meiyi
    To appear 2023