Xinyu GE

ORCID | ResearchGate | LinkedIn | Google Scholar

• Formal methods
• Safe AI
• Dynamical systems
• Symbolic computation

• Xinyu Ge, Sadegh Soudjani, Paolo Zuliani. Barrier Certificate Computation using Gaussian Process Optimization. ALA 2025, 2025.
• Chen Shiping, Ge Xinyu. Reachability Analysis of Linear System. Acta Informatica, 61: 231-260, 2024.
• Chen Shiping, Ge Xinyu. Square-free factorization of mixed trigonometric-polynomials. Journal of Classical Analysis, 22(1):45-53, 2023.
• GE Xinyu, CHEN Shiping, LIU Zhong. Real root isolation for exponential functions. Journal of Computer Applications, 42(5):1531-1537, 2022.
• Xinyu Ge, Shiping Chen. Reachability Analysis of Linear Systems with Rational Eigenvalues.Proceedings of the 4th International Conference on Artificial Intelligence and Big Data (ICAIBD), Part 1:207-211, 2021.
• Chen-Shiping, Ge Xinyu. A Solution to an Open Problem of Wilker-Type Inequalities. Journal of Mathematical Inequalities, 15(1):59-65, 2021.

• 26 Fall:
  • Master Thesis (spML): Safe Reinforcement Learning. [Proposal].
  • Master Thesis (spDS): Safe Reinforcement Learning for Shard Placements.
• 26 Spring: Reliable Innovative Systems (CSIT8). [Proposal 1] [Proposal 2]
• 25 Fall:
  • Secure, Scalable and Useful Systems (CSIT7). [Proposal]
  • Complex Back-end Software (SW5).
• 18 Fall: Advanced Mathematics I

• Aalborg University, Postdoc, present
• University of Chinese Academy of Sciences, Postgraduate researcher, 2017 - 2024
• Newcastle University, Joint PhD fellow, 2022 - 2023